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

../
dolfin-bin_2019.2.0~legacy20240219.1c52e83-1.1~..> 24-Feb-2024 02:23               46980
dolfin-bin_2019.2.0~legacy20240219.1c52e83-1_al..> 19-Feb-2024 21:42               46776
dolfin-bin_2019.2.0~legacy20240219.1c52e83-2exp..> 21-Apr-2024 16:50               46972
dolfin-doc_2019.2.0~legacy20240219.1c52e83-1.1~..> 24-Feb-2024 02:23            13303060
dolfin-doc_2019.2.0~legacy20240219.1c52e83-1_al..> 19-Feb-2024 21:42            13206124
dolfin-doc_2019.2.0~legacy20240219.1c52e83-2exp..> 21-Apr-2024 16:50            13014968
libdolfin-dev-common_2019.2.0~legacy20240219.1c..> 24-Feb-2024 02:23              225096
libdolfin-dev-common_2019.2.0~legacy20240219.1c..> 19-Feb-2024 21:42              224952
libdolfin-dev-common_2019.2.0~legacy20240219.1c..> 21-Apr-2024 16:50              225128