Files
-rw-r--r-- | 8263 | mockbuild | mockbuild | minisat-user-guide-1.0.html |
-rw-rw-r-- | 48776 | mockbuild | mockbuild | minisat2-070721.zip |
-rw-r--r-- | 474 | mockbuild | mockbuild | minisat2-FPU.patch |
-rw-r--r-- | 424 | mockbuild | mockbuild | minisat2-template.patch |
-rw-r--r-- | 67 | mockbuild | mockbuild | minisat2-test.in |
-rw-r--r-- | 5027 | mockbuild | mockbuild | minisat2.spec |