pkg://zenon-0.5.0-3.fc9.x86_64.rpm:311612/zenon.spec  info  downloads

3.87 KB  2008-09-26zenon.spec  view  3 mirrors
381 B  2008-09-26zenon.bytecode.patch  view  4 mirrors
3.76 KB  2008-09-26zenon.1  view  3 mirrors
7.59 KB  2008-09-26zenon-tptp-ReadMe  view  4 mirrors
4.50 KB  2008-09-26zenon-tptp-COM003+2.p  view  4 mirrors
2.46 KB  2008-09-26zenon-format.5  view  3 mirrors
75.38 KB  2008-09-26zenon-0.5.0.tar.gz  view  4 mirrors
920 B  2008-09-26HEADER  view  592+ mirrors