Files
-rw-r--r-- | 1612 | mandrake | mandrake | picomus.1 |
-rw-r--r-- | 52159 | mandrake | mandrake | picosat-936.tar.gz |
-rw-r--r-- | 1744 | mandrake | mandrake | picosat-trace.patch |
-rw-r--r-- | 5033 | mandrake | mandrake | picosat.1 |
-rw-r--r-- | 5357 | mandrake | mandrake | picosat.spec |
-rw-r--r-- | 14 | mandrake | mandrake | picosat.trace.1 |