Index of /dev/pool/main/d/dolfin/

../
dolfin-bin_2019.2.0~git20230116.bd54183-2_all.deb  26-Feb-2023 11:43               44924
dolfin-doc_2019.2.0~git20230116.bd54183-2_all.deb  26-Feb-2023 11:43            12672524
dolfin_2019.2.0~git20230116.bd54183-2.debian.ta..> 26-Feb-2023 10:42               41120
dolfin_2019.2.0~git20230116.bd54183-2.dsc          26-Feb-2023 10:42                3872
dolfin_2019.2.0~git20230116.bd54183.orig.tar.gz    15-Feb-2023 18:04            10888559
libdolfin-dev-common_2019.2.0~git20230116.bd541..> 26-Feb-2023 11:43              223048
libdolfin-dev_2019.2.0~git20230116.bd54183-2_am..> 26-Feb-2023 11:58               44420
libdolfin2019.2_2019.2.0~git20230116.bd54183-2_..> 26-Feb-2023 11:58             1855568
libdolfin64-2019.2_2019.2.0~git20230116.bd54183..> 26-Feb-2023 11:58             1856236
libdolfin64-dev_2019.2.0~git20230116.bd54183-2_..> 26-Feb-2023 11:58               40456
python3-dolfin-real_2019.2.0~git20230116.bd5418..> 26-Feb-2023 11:58              760656
python3-dolfin64-real_2019.2.0~git20230116.bd54..> 26-Feb-2023 11:58              775056
python3-dolfin_2019.2.0~git20230116.bd54183-2_a..> 26-Feb-2023 11:58               57912