../ dolfin-bin_2016.2.0-2_all.deb 23-Jan-2017 18:59 50036 dolfin-doc_2016.2.0-2_all.deb 23-Jan-2017 18:59 3855604 libdolfin-dev_2016.2.0-2_armhf.deb 03-Feb-2017 21:08 239620 libdolfin2016.2-dbg_2016.2.0-2_armhf.deb 03-Feb-2017 21:08 35746640 libdolfin2016.2_2016.2.0-2_armhf.deb 03-Feb-2017 21:08 1389666 python-dolfin-dbg_2016.2.0-2_armhf.deb 03-Feb-2017 21:08 8177874 python-dolfin_2016.2.0-2_armhf.deb 03-Feb-2017 21:08 972618