/debian-ports/pool-sparc64/main/m/minisat+/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
minisat+_1.0-4_sparc64.deb	127.6 KiB	23.02.2017 00:03
minisat+_1.0-4_sparc64.buildinfo	4.3 KiB	23.02.2017 00:03
minisat+-dbgsym_1.0-4_sparc64.deb	818.1 KiB	23.02.2017 00:03