SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

zenon rpm build for : Fedora 32. For other distributions click zenon.

Name : zenon
Version : 0.8.4 Vendor : Fedora Project
Release : 11.fc32 Date : 2020-06-16 17:48:53
Group : Unspecified Source RPM : zenon-0.8.4-11.fc32.src.rpm
Size : 3.96 MB
Packager : Fedora Project
Summary : Automated theorem prover for first-order classical logic
Description :
Zenon is an automated theorem prover for first order classical logic
with equality, based on the tableau method. Zenon can read input files
in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly
generate Coq proofs (proof scripts or proof terms), which can be
reinserted into Coq specifications. Zenon can also be extended.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/updates/32/Everything/x86_64/Packages/z

Content of RPM  Changelog  Provides Requires

Download
ftp.pbone.net  zenon-0.8.4-11.fc32.x86_64.rpm
     

Provides :
zenon
zenon(x86-64)

Requires :
coq(x86-64) = 8.11.2
coreutils
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
libc.so.6(GLIBC_2.3)(64bit)
libc.so.6(GLIBC_2.3.4)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libc.so.6(GLIBC_2.7)(64bit)
libdl.so.2()(64bit)
libdl.so.2(GLIBC_2.2.5)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.27)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/bin/zenon
/usr/lib/.build-id
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/d9f7b945b8feef6da5b07567c3adcb7f2017ff
/usr/lib64/coq/user-contrib/Zenon
/usr/lib64/coq/user-contrib/Zenon/zenon.v
/usr/lib64/coq/user-contrib/Zenon/zenon.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.v
/usr/lib64/coq/user-contrib/Zenon/zenon_coqbool.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.v
/usr/lib64/coq/user-contrib/Zenon/zenon_equiv.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.v
/usr/lib64/coq/user-contrib/Zenon/zenon_focal.vo
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.v
/usr/lib64/coq/user-contrib/Zenon/zenon_induct.vo
/usr/share/doc/zenon
/usr/share/doc/zenon/examples
/usr/share/doc/zenon/examples/tptp-COM003+2.p
/usr/share/doc/zenon/examples/tptp-ReadMe
/usr/share/doc/zenon/zenlpar07.pdf
/usr/share/licenses/zenon
/usr/share/licenses/zenon/LICENSE
/usr/share/man/man1/zenon.1.gz
/usr/share/man/man5/zenon-format.5.gz