../ dune-localfunctions_2.11.0-ok1.debian.tar.xz 06-May-2026 19:41 3316 dune-localfunctions_2.11.0-ok1.dsc 06-May-2026 19:41 2254 dune-localfunctions_2.11.0.orig.tar.gz 06-May-2026 19:41 224339 libdune-localfunctions-dev_2.11.0-ok1_amd64.deb 17-Jun-2026 06:12 130058 libdune-localfunctions-dev_2.11.0-ok1_arm64.deb 05-Jun-2026 05:26 130062 libdune-localfunctions-doc_2.11.0-ok1_all.deb 17-Jun-2026 06:12 9603192