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

../
dune-localfunctions_2.6.0-1.debian.tar.xz          03-Apr-2018 00:48                3600
dune-localfunctions_2.6.0-1.dsc                    03-Apr-2018 00:48                2756
dune-localfunctions_2.6.0.orig.tar.gz              03-Apr-2018 00:48              177251
dune-localfunctions_2.6.0.orig.tar.gz.asc          03-Apr-2018 00:48                 473
libdune-localfunctions-dev_2.6.0-1_all.deb         03-Apr-2018 01:13              108112
libdune-localfunctions-doc_2.6.0-1_all.deb         03-Apr-2018 01:13             4457924