Index of /debian/pool/main/d/dolfin

	Name	Last modified	Size	Description
	Parent Directory		-
	dolfin_2019.2.0~git20201207.b495043-5.dsc	2021-06-09 13:04	3.7K
	dolfin_2019.2.0~git20201207.b495043-5.debian.tar.xz	2021-06-09 13:04	37K
	libdolfin64-dev_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	49K
	libdolfin-dev_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	53K
	dolfin-bin_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 13:44	53K
	python3-dolfin_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	66K
	libdolfin-dev-common_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 13:44	227K
	python3-dolfin-real_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	760K
	python3-dolfin64-real_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	776K
	libdolfin64-2019.2_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	1.8M
	libdolfin2019.2_2019.2.0~git20201207.b495043-5_amd64.deb	2021-06-09 14:25	1.8M
	dolfin_2019.2.0~git20201207.b495043.orig.tar.gz	2021-01-25 17:50	10M
	dolfin-doc_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 13:44	12M