coq-core-compat-9.2.0-2.fc45 RPM for aarch64

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

Requires

• glibc >= 2.43.9000-22
• ld-linux-aarch64.so.1()(64bit)
• ld-linux-aarch64.so.1(GLIBC_2.17)(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(aarch-64) = 9.2.0-2.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 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/03
/usr/lib/.build-id/03/1d3b718e505074a18c9dc5c08dbfeb481eee81
/usr/lib/.build-id/0d
/usr/lib/.build-id/0d/013bff5ba8e8b82eb636ab64dafeffe594b93a
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/ed9334c4c5e6187ab1c0d78a0c78508df306df
/usr/lib/.build-id/46
/usr/lib/.build-id/46/62f4b3e3a2e6ebfbba51ab621cc552cdb61ac3
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/02230a1d6663a3325a0182dd66305266fb7ec0
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/93b430860fdd01c7810987939b374d2595526a
/usr/lib/.build-id/99
/usr/lib/.build-id/99/8d93f95e52499dadd54727d51b254ac11774d1
/usr/lib/.build-id/c2/d70c948abf7ac1342ffb7662dc03d53eb4a3b6
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/9a456e2979bf470e411c71ca289fe0b7cbea47
/usr/lib/.build-id/d5/6bfb25aa012af6b56e2111377c414fd848f810
/usr/lib/.build-id/e3
/usr/lib/.build-id/e3/a915f8c358cb4073d9793a2374199a491a80b4
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/81fc8601e295cafa3372b2081ab6a2fe5864ef
/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 Jul 15 22:43:46 2026