Index of /archive.ubuntu.com/ubuntu/pool/universe/d/dune-localfunctions/


../
dune-localfunctions_2.6.0-1build1.debian.tar.xz    18-Jul-2018 06:38                3668
dune-localfunctions_2.6.0-1build1.dsc              18-Jul-2018 06:38                2780
dune-localfunctions_2.6.0.orig.tar.gz              04-May-2018 19:29              177251
dune-localfunctions_2.6.0.orig.tar.gz.asc          04-May-2018 19:29                 473
libdune-localfunctions-dev_2.6.0-1build1_all.deb   18-Jul-2018 06:43              106724
libdune-localfunctions-doc_2.6.0-1build1_all.deb   18-Jul-2018 06:43             4456340