coq-core-compat-9.3.0-1.fc44 RPM for ppc64le

From Fedora 44 updates for ppc64le / Packages / c

Rocq is a formal proof management system.  It provides a formal language to
write mathematical definitions, executable algorithms and theorems together
with an environment for semi-interactive development of machine-checked proofs.

This package includes compatibility binaries to call Rocq
through previous Coq commands like coqc coqtop,...

Provides

• coq-core-compat
• coq-core
• coq-core-compat(ppc-64)

Requires

• ld64.so.2()(64bit)
• ld64.so.2(GLIBC_2.22)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(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_2.42)(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)
• rocq-core(ppc-64) = 9.3.0-1.fc44
• 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

LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause

Changelog

* Mon Oct 05 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - Fix rocq.xml
* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-1
  - Version 9.2.0
  - Drop upstreamed documentation patch
  - Enable the native compiler for x86_64
* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 9.1.1-1
  - Initial RPM

Files

/usr/bin/coq-tex
/usr/bin/coq_makefile
/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coqnative
/usr/bin/coqpp
/usr/bin/coqtop
/usr/bin/coqtop.byte
/usr/bin/coqwc
/usr/bin/coqworkmgr
/usr/lib/.build-id
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/a962b62a28801952e5cdbad9a36c53239ad6e5
/usr/lib/.build-id/52/4729d4484689f081fe02b299fa6c1f5ba332a5
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/26a8eac252d096f4fc1c6994a8ce0bda6c2206
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/45965375ee5dd2a1846fbd4c27bad002b064f3
/usr/lib/.build-id/5f/bc1a62a4472f4c868661b633f27d87386d425d
/usr/lib/.build-id/6b/6dec71f185d0e034fcc94347bc9d1e6947557a
/usr/lib/.build-id/9a
/usr/lib/.build-id/9a/aa6763c7c34ab995232e0278633a1c4cb01b5f
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/c99fe3802da58580ed0b635e374ef25745165c
/usr/lib/.build-id/ca
/usr/lib/.build-id/ca/87a0ff6358c54b93d4008166a17e5f265c4c0f
/usr/lib/.build-id/d8
/usr/lib/.build-id/d8/1ca2765e921b965abb14ac658530d39ac5d1bb
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/ae03a7be7f534f1e705eead3b5026eee5efe1e
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/4508392bf54400feb960cbf12a93c0193f427b
/usr/lib64/ocaml/coq-core
/usr/lib64/ocaml/coq-core/META
/usr/lib64/ocaml/coq-core/dune-package
/usr/lib64/ocaml/coq-core/opam
/usr/share/man/man1/coq-tex.1.gz
/usr/share/man/man1/coq_makefile.1.gz
/usr/share/man/man1/coqc.1.gz
/usr/share/man/man1/coqchk.1.gz
/usr/share/man/man1/coqdep.1.gz
/usr/share/man/man1/coqdoc.1.gz
/usr/share/man/man1/coqnative.1.gz
/usr/share/man/man1/coqtop.1.gz
/usr/share/man/man1/coqtop.byte.1.gz
/usr/share/man/man1/coqwc.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Oct 7 04:49:32 2026