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

	Name	Last modified	Size	Description
	Parent Directory		-
	dolfin-bin_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 15:44	53K
	dolfin-doc_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 15:44	12M
	libdolfin-dev-common_2019.2.0~git20201207.b495043-5_all.deb	2021-06-09 15:44	227K
	libdolfin-dev_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	53K
	libdolfin2019.2_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	1.5M
	libdolfin64-2019.2_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	1.5M
	libdolfin64-dev_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	49K
	python3-dolfin-real_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	672K
	python3-dolfin64-real_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	689K
	python3-dolfin_2019.2.0~git20201207.b495043-5_armhf.deb	2021-06-09 16:15	66K
	libdolfin-dev_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	53K
	libdolfin64-2019.2_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	1.6M
	libdolfin64-dev_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	49K
	libdolfin2019.2_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	1.6M
	python3-dolfin-real_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	661K
	python3-dolfin64-real_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	678K
	python3-dolfin_2019.2.0~git20201207.b495043-5_arm64.deb	2021-06-09 16:25	66K