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

../
dolfin_2019.2.0~legacy20230609.8b85e9d.ar-5_sh4..> 19-Dec-2023 00:03               18975
libdolfin-dev_2019.2.0~legacy20230609.8b85e9d.a..> 19-Dec-2023 00:03               43264
libdolfin2019.2gcc13-dbgsym_2019.2.0~legacy2023..> 19-Dec-2023 00:03            38200652
libdolfin2019.2gcc13_2019.2.0~legacy20230609.8b..> 19-Dec-2023 00:03             2234844
libdolfin64-2019.2gcc13-dbgsym_2019.2.0~legacy2..> 19-Dec-2023 00:03            38249440
libdolfin64-2019.2gcc13_2019.2.0~legacy20230609..> 19-Dec-2023 00:03             2239868
libdolfin64-dev_2019.2.0~legacy20230609.8b85e9d..> 19-Dec-2023 00:03               41752
python3-dolfin-real_2019.2.0~legacy20230609.8b8..> 19-Dec-2023 00:03             1437128
python3-dolfin64-real_2019.2.0~legacy20230609.8..> 19-Dec-2023 00:03             1461528
python3-dolfin_2019.2.0~legacy20230609.8b85e9d...> 19-Dec-2023 00:03               60576