../ dolfin-bin_1.0.0-7_all.deb 29-Jun-2012 09:03 37586 dolfin-dev_1.0.0-7_all.deb 29-Jun-2012 09:03 32138 dolfin-doc_1.0.0-7_all.deb 29-Jun-2012 09:03 6291734 libdolfin1.0-dbg_1.0.0-7_amd64.deb 29-Jun-2012 09:03 32737118 libdolfin1.0-dev_1.0.0-7_amd64.deb 29-Jun-2012 09:03 308254 libdolfin1.0_1.0.0-7_amd64.deb 29-Jun-2012 09:03 1674310 python-dolfin_1.0.0-7_amd64.deb 29-Jun-2012 09:03 2147030