coq-core-compat-9.2.0-1.fc44 RPM for s390x

From Fedora 44 updates for s390x / 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(s390-64)

Requires

• ld64.so.1()(64bit)
• ld64.so.1(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.10)(64bit)
• libc.so.6(GLIBC_2.11)(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)(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)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• rocq-core(s390-64) = 9.2.0-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

* 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/32
/usr/lib/.build-id/32/dc82765d70f245c05e383714cccf1222f36032
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/f80296b2ab0026a22131b0ed54a8c48258eed5
/usr/lib/.build-id/61
/usr/lib/.build-id/61/fe6ca5755091ef980b901cc916a8c228c0dbd6
/usr/lib/.build-id/73
/usr/lib/.build-id/73/5c8df403fd8958d703769fe5f9577012e27b44
/usr/lib/.build-id/85
/usr/lib/.build-id/85/37a43d90498601d08357eb3fb733417a4d41a6
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/448f3e267cacc058bdf72fc311544cb5b8f1e9
/usr/lib/.build-id/8d
/usr/lib/.build-id/8d/c6d17d521a79db2323e8338d102821b094065d
/usr/lib/.build-id/a5
/usr/lib/.build-id/a5/8a222ee8a1844aee694512894b46a95a0c36c4
/usr/lib/.build-id/bd/5863ad65d1ef8d1eb24d5a2aacbd4dd1053542
/usr/lib/.build-id/c6
/usr/lib/.build-id/c6/22c512db88f0b565794fba0e38ad9c184f020a
/usr/lib/.build-id/dc/45c0ea5b3b9af655f287473c0a25934af85a77
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/d0461e562aa566c1f2448ae24c1e61e187237f
/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 Aug 5 02:39:10 2026