/debian-ports/pool-hurd-i386/main/m/minisat+/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+-dbgsym_1.0-5_hurd-i386.deb	786.9 KiB	10.10.2024 06:03
minisat+_1.0-5_hurd-i386.buildinfo	5.7 KiB	10.10.2024 06:03
minisat+_1.0-5_hurd-i386.deb	144.3 KiB	10.10.2024 06:03