Files
-rw-rw-r-- | 67373 | mockbuild | mockbuild | zenon-0.5.0.tar.bz2 |
-rw-r--r-- | 2514 | mockbuild | mockbuild | zenon-format.5 |
-rw-r--r-- | 4609 | mockbuild | mockbuild | zenon-tptp-COM003+2.p |
-rw-r--r-- | 7775 | mockbuild | mockbuild | zenon-tptp-ReadMe |
-rw-r--r-- | 3852 | mockbuild | mockbuild | zenon.1 |
-rw-r--r-- | 381 | mockbuild | mockbuild | zenon.bytecode.patch |
-rw-r--r-- | 4625 | mockbuild | mockbuild | zenon.spec |