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 |
