/debian-ports/pool-hurd-amd64/main/m/mpi-defaults/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
mpi-default-bin_1.17_hurd-amd64.deb	2.3 KiB	15.07.2024 12:03
mpi-default-dev_1.17_hurd-amd64.deb	3.1 KiB	15.07.2024 12:03
mpi-defaults_1.17_hurd-amd64.buildinfo	7.1 KiB	15.07.2024 12:03