Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-core-compat-9.3.0-2.fc46 RPM for x86_64

From Fedora Rawhide for x86_64 / c

Name: coq-core-compat Distribution: Fedora Project
Version: 9.3.0 Vendor: Fedora Project
Release: 2.fc46 Build date: Sun Sep 27 04:50:22 2026
Group: Unspecified Build host: buildhw-x86-04.rdu3.fedoraproject.org
Size: 36446512 Source RPM: rocq-9.3.0-2.fc46.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Compatibility binaries for Coq after the Rocq renaming
 
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

Requires

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/2c/e530f6ef6aa5a5f3f9c52552a3f5f4b9d80a61
/usr/lib/.build-id/41
/usr/lib/.build-id/41/c77647c381f5037f946fd053bb002e08aae708
/usr/lib/.build-id/42
/usr/lib/.build-id/42/caf33f2ebdfd437c4f56594b0cc6a51968861a
/usr/lib/.build-id/56
/usr/lib/.build-id/56/ff7f1a2246a9508d7e0d204c064c82c775e3c1
/usr/lib/.build-id/58/277c0637ffbc14994f9a786655a455fa450ecd
/usr/lib/.build-id/6b
/usr/lib/.build-id/6b/ad4441d1e12ffc5e079761a7634118f9399a47
/usr/lib/.build-id/6f/ec541a774f465672eff0f8242e65ee7f73544a
/usr/lib/.build-id/75
/usr/lib/.build-id/75/58a2ada734eea218fac54b4bb59708daa716d6
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/786ee27d26770e9dc25411bc3a74fd59e49d8b
/usr/lib/.build-id/b0/f9d2c74ade85aa019d602a18defc683fc6704a
/usr/lib/.build-id/da
/usr/lib/.build-id/da/de25660ea7a9fdbe3d3f4cd358507e89519b74
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/d380811007cb5efb019427a004b5608d0372a4
/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, Tue Sep 29 22:56:20 2026