Thu, 09 Feb 2023 06:09:33 UTC

Information for build zenon-0.5.0-3.fc9

ID57599
Package Namezenon
Version0.5.0
Release3.fc9
Epoch
SummaryAutomated theorem prover for first-order classical logic
DescriptionZenon 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.
Built bydwheeler
State complete
Volume fedora_koji_archive00
StartedFri, 25 Jul 2008 19:58:32 UTC
CompletedFri, 25 Jul 2008 20:02:21 UTC
Taskbuild (dist-f9-updates-candidate, /cvs/pkgs:rpms/zenon/F-9:zenon-0_5_0-3_fc9)
Tags
dist-f9-updates
f9-build-cutoff
f9-cutoff
RPMs
src
zenon-0.5.0-3.fc9.src.rpm (info) (download)
i386
zenon-0.5.0-3.fc9.i386.rpm (info) (download)
zenon-debuginfo-0.5.0-3.fc9.i386.rpm (info) (download)
ppc
zenon-0.5.0-3.fc9.ppc.rpm (info) (download)
zenon-debuginfo-0.5.0-3.fc9.ppc.rpm (info) (download)
ppc64
zenon-0.5.0-3.fc9.ppc64.rpm (info) (download)
zenon-debuginfo-0.5.0-3.fc9.ppc64.rpm (info) (download)
x86_64
zenon-0.5.0-3.fc9.x86_64.rpm (info) (download)
zenon-debuginfo-0.5.0-3.fc9.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
ppc
build.log
root.log
state.log
ppc64
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * Fri Jun 27 2008 David A. Wheeler - 0.5.0-3 - Add documentation for Zenon and its built-in format as man pages (man pages used so Debian, etc., will use them too) - Fix release number so it increases everywhere * Fri Jun 27 2008 David A. Wheeler - 0.5.0-2.1 - macro fc8 failed, minor rebuild for Fedora 8 * Fri Jun 27 2008 David A. Wheeler - 0.5.0-2 - Moved examples to an "examples" subdirectory in /usr/share/doc/NAME-VERSION - Moved "check" to be after "install" in spec file (that's when it's executed) - Exclude ppc64 for Fedora 8 (it works on 9 and 10, but not 8) * Fri Jun 27 2008 David A. Wheeler - 0.5.0-1 - Initial package