../ dolfin-bin_1.4.0+dfsg-4_all.deb 23-Sep-2014 10:11 43954 dolfin-doc_1.4.0+dfsg-4_all.deb 23-Sep-2014 10:11 2261912 libdolfin-dev_1.4.0+dfsg-4_armhf.deb 29-Sep-2014 17:11 242498 libdolfin1.4-dbg_1.4.0+dfsg-4_armhf.deb 29-Sep-2014 17:11 26014428 libdolfin1.4_1.4.0+dfsg-4_armhf.deb 29-Sep-2014 17:11 1263658 python-dolfin-dbg_1.4.0+dfsg-4_armhf.deb 29-Sep-2014 17:11 8142108 python-dolfin_1.4.0+dfsg-4_armhf.deb 29-Sep-2014 17:11 1000000