Index of /packages/pool/main/d/dolfin

	Name	Last modified	Size	Description
	Parent Directory		-
	dolfin-bin_2016.2.0-2_all.deb	24-Jan-2017 02:59	49K
	dolfin-doc_2016.2.0-2_all.deb	24-Jan-2017 02:59	3.7M
	libdolfin-dev_2016.2.0-2_amd64.deb	24-Jan-2017 02:59	234K
	libdolfin2016.2-dbg_2016.2.0-2_amd64.deb	24-Jan-2017 02:59	38M
	libdolfin2016.2_2016.2.0-2_amd64.deb	24-Jan-2017 02:59	1.6M
	python-dolfin-dbg_2016.2.0-2_amd64.deb	24-Jan-2017 02:59	8.2M
	python-dolfin_2016.2.0-2_amd64.deb	24-Jan-2017 02:59	1.1M