../ dune-localfunctions_2.5.1-1.debian.tar.xz 18-Jul-2017 23:14 3316 dune-localfunctions_2.5.1-1.dsc 18-Jul-2017 23:14 2789 dune-localfunctions_2.5.1.orig.tar.gz 18-Jul-2017 23:14 179554 dune-localfunctions_2.5.1.orig.tar.gz.asc 18-Jul-2017 23:14 1061 libdune-localfunctions-dev_2.5.1-1_all.deb 19-Jul-2017 02:03 108540 libdune-localfunctions-doc_2.5.1-1_all.deb 19-Jul-2017 02:03 4530780