Files
| -rw-rw-r-- | 423125 | mockbuild | mockbuild | zenlpar07.pdf |
| -rw-rw-r-- | 160656 | mockbuild | mockbuild | zenon-0.7.1.tar.xz |
| -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-- | 5993 | mockbuild | mockbuild | zenon.spec |
