../ 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