../ dune-localfunctions_2.2.0-1.debian.tar.gz 05-Jun-2012 10:17 2443 dune-localfunctions_2.2.0-1.dsc 05-Jun-2012 10:17 2430 dune-localfunctions_2.2.0.orig.tar.xz 05-Jun-2012 10:17 119956 libdune-localfunctions-dev_2.2.0-1_all.deb 05-Jun-2012 10:17 87116 libdune-localfunctions-doc_2.2.0-1_all.deb 05-Jun-2012 10:17 858552