Index of /ubuntu/pool/universe/d/dune-localfunctions/

../
libdune-localfunctions-dev_2.5.1-1_all.deb         19-Jul-2017 02:03              108540
libdune-localfunctions-dev_2.6.0-1build1_all.deb   18-Jul-2018 06:43              106724
libdune-localfunctions-doc_2.5.1-1_all.deb         19-Jul-2017 02:03             4530780
libdune-localfunctions-doc_2.6.0-1build1_all.deb   18-Jul-2018 06:43             4456340