Files
-rw-rw-r-- | 43879 | mockbuild | mockbuild | minisat-2.2.0.tar.gz |
-rw-r--r-- | 8263 | mockbuild | mockbuild | minisat-user-guide-1.0.html |
-rw-r--r-- | 2909 | mockbuild | mockbuild | minisat.1 |
-rw-r--r-- | 678 | mockbuild | mockbuild | minisat2-FPU.patch |
-rw-r--r-- | 2143 | mockbuild | mockbuild | minisat2-sharedlib.patch |
-rw-r--r-- | 67 | mockbuild | mockbuild | minisat2-test.in |
-rw-r--r-- | 7106 | mockbuild | mockbuild | minisat2.spec |