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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+-dbgsym_1.0-4_hurd-i386.deb	785.6 KiB	22.02.2017 21:22
minisat+_1.0-4_hurd-i386.deb	145.3 KiB	22.02.2017 21:22
minisat+_1.0-4_hurd-i386.buildinfo	4.4 KiB	22.02.2017 21:10