/deepin/pool/main/m/minisat+/

0 directories 5 files 395 KiB total
List Grid
Name
Size Modified
Up
minisat+_1.0-4.debian.tar.xz
4.1 KiB
minisat+_1.0-4.dsc
1.9 KiB
minisat+_1.0-4_amd64.deb
155 KiB
minisat+_1.0-4_i386.deb
156 KiB
minisat+_1.0.orig.tar.gz
78 KiB