../ dune-functions_2.5.1-1.debian.tar.xz 18-Jul-2017 23:14 2732 dune-functions_2.5.1-1.dsc 18-Jul-2017 23:14 2775 dune-functions_2.5.1.orig.tar.gz 18-Jul-2017 23:14 252708 dune-functions_2.5.1.orig.tar.gz.asc 18-Jul-2017 23:14 1061 libdune-functions-dev_2.5.1-1_all.deb 19-Jul-2017 03:53 54654 libdune-functions-doc_2.5.1-1_all.deb 19-Jul-2017 03:53 1768312