../ dune-grid_2.2.0-1.debian.tar.gz 05-Jun-2012 21:33 4998 dune-grid_2.2.0-1.dsc 05-Jun-2012 21:33 2447 dune-grid_2.2.0.orig.tar.xz 05-Jun-2012 21:33 2875500 libdune-grid-2.2.0_2.2.0-1_amd64.deb 05-Jun-2012 21:33 661324 libdune-grid-dbg_2.2.0-1_amd64.deb 05-Jun-2012 21:33 10818606 libdune-grid-dev_2.2.0-1_amd64.deb 05-Jun-2012 21:33 1105656 libdune-grid-doc_2.2.0-1_all.deb 05-Jun-2012 21:33 4656310