Fedora Packages

coq-core-compat Subpackage of rocq

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,...

Releases Overview

Release Stable Testing
Fedora Rawhide 9.1.1-1.fc45 -
Fedora 44 - 9.1.1-1.fc44
File a new bug report »
Package Info
  • Upstream: https://rocq-prover.org/
  • License(s): LGPL-2.1-only AND LGPL-2.1-only WITH OCaml-LGPL-linking-exception AND MIT AND BSD-3-Clause
  • Maintainer: jjames
Related Packages

You can contact the maintainers of this package via email at rocq dash maintainers at fedoraproject dot org.


Sources on Pagure