coq-core-compat-9.3.0-2.fc46 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)
• libm.so.6(GLIBC_2.44)(64bit)
• rocq-core(ppc-64) = 9.3.0-2.fc46
• 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

* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-2
  - Disable native compilation for aarch64
* Sun Sep 27 2026 Jerry James <loganjerry@gmail.com> - 9.3.0-1
  - Version 9.3.0
  - Drop upstreamed dune patch
* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 9.2.0-4
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 9.2.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 9.2.0-2
  - OCaml 5.5.0 rebuild
  - Add patch to adapt to dune 3.24
  - 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/39/6331ec1366538832cf68ef397268ba0c1a0c56
/usr/lib/.build-id/55/0dce4d1ba6413c2e29b285be79dba620c450c4
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/3a671813f5e7bd06551b2476660a1ec67ae732
/usr/lib/.build-id/68
/usr/lib/.build-id/68/a46bf739024524a8b423f5f6afb3949b8f676b
/usr/lib/.build-id/72
/usr/lib/.build-id/72/4f432203dc95a702a6fb4a1ce24c07fae5e69b
/usr/lib/.build-id/80
/usr/lib/.build-id/80/12ad1b2835ea3704b31e636b977a6d4bbb8ba5
/usr/lib/.build-id/8a/1d227a6457e4f7e6177a6cb0fb42d106610e79
/usr/lib/.build-id/95
/usr/lib/.build-id/95/ded15a4b899bb3aa33059c3af32944cabbe8b1
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/b1328c5420706a5762b3057b01f8a7c85a2caf
/usr/lib/.build-id/bb/dfe18c47e18209b6c58400d8c330d5cc614e10
/usr/lib/.build-id/bf
/usr/lib/.build-id/bf/039ef8b40288e1da7c0ebb7b563c9f8dafb79b
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/eece7d10723e6ca06506e2b41673e82910c306
/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, Sat Oct 3 01:00:05 2026