../ dune-functions_2.4~20160507g3dd041d-1.debian.ta..> 01-Jul-2016 10:31 3584 dune-functions_2.4~20160507g3dd041d-1.dsc 01-Jul-2016 10:31 2538 dune-functions_2.4~20160507g3dd041d.orig.tar.xz 01-Jul-2016 10:31 240268 libdune-functions-dev_2.4~20160507g3dd041d-1_al..> 01-Jul-2016 10:31 53570 libdune-functions-doc_2.4~20160507g3dd041d-1_al..> 01-Jul-2016 10:31 19812