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

From Fedora Rawhide for ppc64le / 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.fc45
• 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/29
/usr/lib/.build-id/29/410bd495d72488eff4af93146ec76aecc6dbe0
/usr/lib/.build-id/33
/usr/lib/.build-id/33/56e0ff949c7efd344fb310f764034903a84f57
/usr/lib/.build-id/54
/usr/lib/.build-id/54/3e34658217d4e6f7edd295a63674ff004f91bc
/usr/lib/.build-id/5e
/usr/lib/.build-id/5e/5321a499ebeeb1eb5787ae8513661a6d4f4ae9
/usr/lib/.build-id/5f
/usr/lib/.build-id/5f/297fb28ac1ba02d1d6af52ccfd718e48699f0a
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/a65bd064dd9c495e7158e11fa267ad165322d2
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/36511b761abbf81bd4d070baaa297ebff96de8
/usr/lib/.build-id/9b
/usr/lib/.build-id/9b/813401db799dbd8b1bf1415883d0623a7cb574
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/a3379fa4147c96396e59247dac3971053c1c99
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/21fc1f91e9eb8e9bf4cff3bd123d97d9600277
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/1353f97d15c8748439427af1ba48ebab256aef
/usr/lib/.build-id/fb/e37106cf2c5fc49390f988f095fefff25d7225
/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, Thu Apr 16 00:45:47 2026