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


../
dune-localfunctions_2.6.0-1.debian.tar.xz          11-Apr-2022 03:17                3600
dune-localfunctions_2.6.0-1.dsc                    11-Apr-2022 03:17                2756
dune-localfunctions_2.6.0.orig.tar.gz              11-Apr-2022 03:17              177251
dune-localfunctions_2.6.0.orig.tar.gz.asc          11-Apr-2022 03:17                 473
libdune-localfunctions-dev_2.6.0-1_all.deb         11-Apr-2022 03:38              108112
libdune-localfunctions-doc_2.6.0-1_all.deb         11-Apr-2022 03:12             4457924