/debian-ports/pool-x32/main/d/dune-grid/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
libdune-grid-dev_2.9.0-3_x32.deb
1.0 MiB
14.03.2024 12:03
libdune-grid-dev-dbgsym_2.9.0-3_x32.deb
7.7 MiB
14.03.2024 12:03
dune-grid_2.9.0-3_x32.buildinfo
9.3 KiB
14.03.2024 12:03