Index of /debian-ports/pool-sh4/main/m/minisat+/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-4_sh4.buildinfo	4.0 KiB	2017-Feb-23 21:03
minisat+_1.0-4_sh4.deb	150.3 KiB	2017-Feb-23 21:03