Files
-rw-rw-r-- | 423125 | mockbuild | mockbuild | zenlpar07.pdf |
-rw-rw-r-- | 132390 | mockbuild | mockbuild | zenon-0.6.3.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-- | 3854 | mockbuild | mockbuild | zenon.1 |
-rw-r--r-- | 4427 | mockbuild | mockbuild | zenon.spec |