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

	Name	Last modified	Size	Description
	Parent Directory		-
	dolfin-bin_2019.2.0~git20201207.b495043-5_all.deb	2024-12-10 11:04	53K
	dolfin-doc_2019.2.0~git20201207.b495043-5_all.deb	2024-12-10 11:04	12M
	dolfin_2019.2.0~git20201207.b495043-5.debian.tar.xz	2025-01-09 14:17	37K
	dolfin_2019.2.0~git20201207.b495043-5.dsc	2025-01-09 14:17	3.7K
	dolfin_2019.2.0~git20201207.b495043.orig.tar.gz	2025-01-09 14:17	10M
	libdolfin-dev-common_2019.2.0~git20201207.b495043-5_all.deb	2024-12-10 11:04	227K
	libdolfin-dev_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	53K
	libdolfin64-2019.2_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	1.6M
	libdolfin64-dev_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	49K
	libdolfin2019.2_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	1.6M
	python3-dolfin-real_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	661K
	python3-dolfin64-real_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	678K
	python3-dolfin_2019.2.0~git20201207.b495043-5_arm64.deb	2024-12-10 11:04	66K