Index of /debian/pool/main/d/dune-localfunctions/

../
dune-localfunctions_2.10.0-1.debian.tar.xz         31-Oct-2025 09:28                4776
dune-localfunctions_2.10.0-1.dsc                   31-Oct-2025 09:28                2446
dune-localfunctions_2.10.0.orig.tar.bz2            31-Oct-2025 09:28              166369
dune-localfunctions_2.7.1-2.debian.tar.xz          31-Oct-2025 09:28                3668
dune-localfunctions_2.7.1-2.dsc                    31-Oct-2025 09:28                2714
dune-localfunctions_2.7.1.orig.tar.gz              31-Oct-2025 09:28              189471
dune-localfunctions_2.7.1.orig.tar.gz.asc          31-Oct-2025 09:28                 833
dune-localfunctions_2.9.0-2.debian.tar.xz          31-Oct-2025 09:28                4756
dune-localfunctions_2.9.0-2.dsc                    31-Oct-2025 09:28                2439
dune-localfunctions_2.9.0.orig.tar.xz              31-Oct-2025 09:28              152124
libdune-localfunctions-dev_2.10.0-1+b1_amd64.deb   31-Oct-2025 09:28              127480
libdune-localfunctions-dev_2.7.1-2_all.deb         31-Oct-2025 09:28              115564
libdune-localfunctions-dev_2.9.0-2_amd64.deb       31-Oct-2025 09:28              123732
libdune-localfunctions-doc_2.10.0-1_all.deb        31-Oct-2025 09:28             4967544
libdune-localfunctions-doc_2.7.1-2_all.deb         31-Oct-2025 09:28             3794816
libdune-localfunctions-doc_2.9.0-2_all.deb         31-Oct-2025 09:28             4271560