zenon-0.8.5-40.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / z

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.

Provides

• zenon
• zenon(ppc-64)

Requires

• coreutils
• glibc >= 2.43.9000-11
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libm.so.6(GLIBC_2.44)(64bit)
• rocq(ppc-64) = 9.2.0
• rocq-stdlib(ppc-64)
• 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)

License

BSD-3-Clause

Changelog

* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-40
  - Rebuild for rocq 9.2.0
* Thu Mar 19 2026 Jerry James <loganjerry@gmail.com> - 0.8.5-39
  - Rebuild for rocq 9.1.1
* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-38
  - OCaml 5.4.1 rebuild
* Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-37
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-36
  - OCaml 5.4.0 rebuild
* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-35
  - Bump and rebuild
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-34
  - Bump and rebuild
* Fri Jul 25 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-33
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-32
  - Rebuild to fix OCaml dependencies
* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-31
  - Rebuild for coq 8.20.1
* Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-30
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 0.8.5-29
  - OCaml 5.3.0 rebuild for Fedora 42
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.5-28
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-27
  - OCaml 5.2.0 ppc64le fix
* Wed May 29 2024 Richard W.M. Jones <rjones@redhat.com> - 0.8.5-26
  - OCaml 5.2.0 for Fedora 41

Files

/usr/bin/zenon
/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jul 11 00:14:16 2026