../ dune-functions_2.5.0-1.debian.tar.xz 19-Dec-2016 02:11 2604 dune-functions_2.5.0-1.dsc 19-Dec-2016 02:11 2762 dune-functions_2.5.0.orig.tar.gz 19-Dec-2016 02:11 252711 dune-functions_2.5.0.orig.tar.gz.asc 19-Dec-2016 02:11 1666 libdune-functions-dev_2.5.0-1_all.deb 19-Dec-2016 02:11 54478 libdune-functions-doc_2.5.0-1_all.deb 19-Dec-2016 02:11 1551358