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

From Fedora 44 testing 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.1.1-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

* 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/43
/usr/lib/.build-id/43/806e0f0c6adf8557acd32ee6f409c74638956c
/usr/lib/.build-id/50
/usr/lib/.build-id/50/3d77f957650e30552f9a43d8552d1b22ddac67
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/db35617b495e58d41bd99f4cb07ad6f6ab8702
/usr/lib/.build-id/67
/usr/lib/.build-id/67/847056e19bd5ca4f33284a483305b487cc6e43
/usr/lib/.build-id/73
/usr/lib/.build-id/73/d868142c67e7ed2c831282131758e5c214d06a
/usr/lib/.build-id/7d/fb0277f05896cfc171fa50834c1b95880681e6
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/e8c8847d3de68df15973ec30df7e4c34d24ef7
/usr/lib/.build-id/7f
/usr/lib/.build-id/7f/54aed2b939d0b4c72719346ee0350089b56bf8
/usr/lib/.build-id/af/2dcfcaf2792027bdf06ecfdb9324650151510b
/usr/lib/.build-id/ce
/usr/lib/.build-id/ce/fc0213ed8d11a6eb5a349fbc7e97cca79299a5
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/9cb2c8f615d635b8cc00fa248c02d5abab7c05
/usr/lib/.build-id/f7/505a237e39ea5650e920e47b09dcd618670979
/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, Tue May 12 01:18:46 2026