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

0 directories 3 files 956 KiB total
List Grid
Name
Size Modified
Up
minisat+-dbgsym_1.0-5_hurd-amd64.deb
811 KiB
minisat+_1.0-5_hurd-amd64.buildinfo
5.9 KiB
minisat+_1.0-5_hurd-amd64.deb
138 KiB