Index of /debian-elts/pool/main/d/dune-functions/

../
dune-functions_2.5.0-1.debian.tar.xz               01-Dec-2023 23:25                2604
dune-functions_2.5.0-1.dsc                         01-Dec-2023 23:25                2762
dune-functions_2.5.0.orig.tar.gz                   01-Dec-2023 23:25              252711
dune-functions_2.5.0.orig.tar.gz.asc               01-Dec-2023 23:25                1666
libdune-functions-dev_2.5.0-1_all.deb              01-Dec-2023 23:25               54478
libdune-functions-dev_2.6~20180228-1_all.deb       11-Apr-2018 07:03               58032
libdune-functions-doc_2.5.0-1_all.deb              01-Dec-2023 23:25             1551358
libdune-functions-doc_2.6~20180228-1_all.deb       11-Apr-2018 07:03             1565724