coq-core-compat-9.2.0-1.fc45 RPM for x86_64

From Fedora Rawhide for x86_64 / 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(x86-64)

Requires

• glibc >= 2.43.9000-11
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.15)(64bit)
• libc.so.6(GLIBC_2.16)(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.28)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(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.4)(64bit)
• libc.so.6(GLIBC_2.42)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libc.so.6(GLIBC_2.9)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2.5)(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(x86-64) = 9.2.0-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

* 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/34
/usr/lib/.build-id/34/a34e4873e592f606e467bb7b64c241e65c49c0
/usr/lib/.build-id/49
/usr/lib/.build-id/49/fd39d676ccfced0ee52e293140c06039b9c57f
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/640258656ee66e450694d95ecbf2ceb5555709
/usr/lib/.build-id/65
/usr/lib/.build-id/65/76448d7ed1ce1b66138e7179d642368362c415
/usr/lib/.build-id/76
/usr/lib/.build-id/76/81c0873138cba53a586f0d23d67cf4d5efbad5
/usr/lib/.build-id/78/8f1e52494fda65c0ae2ccbaeb463375f7fe0e0
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/7e1b753b43de6ee0e55e709ad466a691f26ae2
/usr/lib/.build-id/c2
/usr/lib/.build-id/c2/23e51bd941118d0521cadb2ad6310858f04052
/usr/lib/.build-id/d0
/usr/lib/.build-id/d0/965b9aa10a557b758f045bff66c09b749b5758
/usr/lib/.build-id/d9
/usr/lib/.build-id/d9/37e4ccbd47f00f0317fe64532b199a29b4c438
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/4106c0fe4d3339f13ac09f26f6d3ce26929ac4
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/8fd0d3dab357240f625cfa1a7a2fb7b1507419
/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, Fri Jul 10 22:21:32 2026