Name									Size	Modified
----									----	--------
dolfin-bin_2019.2.0~legacy20230609.8b85e9d.ar-4_all.deb			12 KiB	July 24, 2024 at 21:33:33
dolfin-doc_2019.2.0~legacy20230609.8b85e9d.ar-4_all.deb			12 MiB	July 24, 2024 at 21:33:33
libdolfin-dev-common_2019.2.0~legacy20230609.8b85e9d.ar-4_all.deb	194 KiB	July 24, 2024 at 21:33:36
libdolfin-dev_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb		8.1 KiB	July 24, 2024 at 21:33:36
libdolfin2019.2gcc13_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb	1.9 MiB	July 24, 2024 at 21:33:36
libdolfin64-2019.2gcc13_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb	1.9 MiB	July 24, 2024 at 21:33:36
libdolfin64-dev_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb		6.7 KiB	July 24, 2024 at 21:33:36
python3-dolfin-real_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb	852 KiB	July 24, 2024 at 21:33:44
python3-dolfin64-real_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb	867 KiB	July 24, 2024 at 21:33:44
python3-dolfin_2019.2.0~legacy20230609.8b85e9d.ar-4_amd64.deb		25 KiB	July 24, 2024 at 21:33:44