coq-core-compat-9.1.1-1.fc44 RPM for aarch64

From Fedora 44 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

• 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)
• rocq-core(aarch-64) = 9.1.1-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

* 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/14
/usr/lib/.build-id/14/52af34f01320bf088b0692c89c536d811069da
/usr/lib/.build-id/15/bab9eba7bd75126c00508f57017d65a0316035
/usr/lib/.build-id/25
/usr/lib/.build-id/25/2e4292c6b52f5844811394ca10cb9873be5b4d
/usr/lib/.build-id/29
/usr/lib/.build-id/29/76e4005184fb482f0f4d752aad76c01bb580fb
/usr/lib/.build-id/30/27c4677db4a7d9b6e4e5fd86fb053f86fa7dd1
/usr/lib/.build-id/63
/usr/lib/.build-id/63/b9413bf4be9082c6b825aa61af02a87d04aef1
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/8e0b43f5d0253cd783789195fd37404538cd9c
/usr/lib/.build-id/6d
/usr/lib/.build-id/6d/dde986a798833e62af16288b9386dbff8b3fe5
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/88ead25c2ab1c3d32de42b55dc34ca6c8ea505
/usr/lib/.build-id/b4
/usr/lib/.build-id/b4/0341a1eb34c274b9f54bc07da8dbe2c7ed9297
/usr/lib/.build-id/b8
/usr/lib/.build-id/b8/01d921cf918366a4e71cb5402bfbf3397f0363
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/3f87a2b43175d554caecd5be03a17c2e53ca6b
/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, Sun Apr 26 00:10:12 2026