Index of /ubuntu/pool/universe/m/minisat /
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[CMP]](/_autoindex/assets/icons/file.svg){kind=icon} minisat+_1.0-2.debian.tar.gz | 12-11-2011 09:20 | 4k |
| minisat+_1.0-2.dsc | 12-11-2011 09:20 | 4k |
| minisat+_1.0-2_amd64.deb | 12-11-2011 12:12 | 180k |
| minisat+_1.0-2_i386.deb | 12-11-2011 12:16 | 172k |
| minisat+_1.0-4.debian.tar.xz | 29-04-2017 23:58 | 8k |
| minisat+_1.0-4.dsc | 29-04-2017 23:58 | 4k |
| minisat+_1.0-4_amd64.deb | 30-04-2017 01:25 | 156k |
| minisat+_1.0-4_i386.deb | 30-04-2017 01:29 | 148k |
| minisat+_1.0-4build1.debian.tar.xz | 22-03-2020 17:10 | 8k |
| minisat+_1.0-4build1.dsc | 22-03-2020 17:10 | 4k |
| minisat+_1.0-4build1_amd64.deb | 22-03-2020 17:50 | 140k |
| minisat+_1.0.orig.tar.gz | 12-11-2011 09:20 | 80k |