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

rocq-9.2.0-1.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / r

Name: rocq Distribution: Fedora Project
Version: 9.2.0 Vendor: Fedora Project
Release: 1.fc45 Build date: Thu Apr 16 18:28:21 2026
Group: Unspecified Build host: buildvm-ppc64le-05.rdu3.fedoraproject.org
Size: 0 Source RPM: rocq-9.2.0-1.fc45.src.rpm
Packager: Fedora Project
Url: https://rocq-prover.org/
Summary: Proof management system
 
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.

Typical applications include the certification of properties of programming
languages (e.g., the CompCert compiler certification project, or the Bedrock
verified low-level programming library), the formalization of mathematics
(e.g., the full formalization of the Feit-Thompson theorem or homotopy type
theory) and teaching.

Provides

Requires

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

No Filelist in the Package !

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 13 00:49:32 2026