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