Index of /debian-ports/pool-x32/main/d/dolfin/

../
dolfin_2019.2.0~legacy20230609.8b85e9d.ar-3_x32..> 26-Jul-2023 00:03               19061
libdolfin-dev_2019.2.0~legacy20230609.8b85e9d.a..> 26-Jul-2023 00:03               42984
libdolfin2019.2gcc13-dbgsym_2019.2.0~legacy2023..> 26-Jul-2023 00:03            49270260
libdolfin2019.2gcc13_2019.2.0~legacy20230609.8b..> 26-Jul-2023 00:03             1921696
libdolfin64-2019.2gcc13-dbgsym_2019.2.0~legacy2..> 26-Jul-2023 00:03            49300596
libdolfin64-2019.2gcc13_2019.2.0~legacy20230609..> 26-Jul-2023 00:03             1919920
libdolfin64-dev_2019.2.0~legacy20230609.8b85e9d..> 26-Jul-2023 00:03               41472
python3-dolfin-real_2019.2.0~legacy20230609.8b8..> 26-Jul-2023 00:03              828636
python3-dolfin64-real_2019.2.0~legacy20230609.8..> 26-Jul-2023 00:03              846716
python3-dolfin_2019.2.0~legacy20230609.8b85e9d...> 26-Jul-2023 00:03               60296