Index of /pool/main/d/dolfin/

../
dolfin-bin_2019.2.0~legacy20240219.1c52e83-1ubu..> 28-Oct-2025 13:47               12140
libdolfin-dev-common_2019.2.0~legacy20240219.1c..> 28-Oct-2025 13:28              200198
libdolfin-dev_2019.2.0~legacy20240219.1c52e83-1..> 28-Oct-2025 13:48                8250
libdolfin2019.2gcc13t64_2019.2.0~legacy20240219..> 28-Oct-2025 13:45             2017636
libdolfin64-2019.2gcc13t64_2019.2.0~legacy20240..> 28-Oct-2025 13:20             2015094
libdolfin64-dev_2019.2.0~legacy20240219.1c52e83..> 28-Oct-2025 13:44                6826
python3-dolfin-real_2019.2.0~legacy20240219.1c5..> 28-Oct-2025 13:41              853122
python3-dolfin64-real_2019.2.0~legacy20240219.1..> 28-Oct-2025 13:41              869314
python3-dolfin_2019.2.0~legacy20240219.1c52e83-..> 28-Oct-2025 13:47               25902