Sophie

Sophie

distrib > Fedora > 18 > x86_64 > by-pkgid > ddd873eda3dc6fe45df3e5fbc535c962 > files

zenon-0.7.1-4.fc18.src.rpm

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