Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM coq-8.18.0-1.fc40.src.rpm

ID	1166814
Name	coq
Version	8.18.0
Release	1.fc40
Epoch
Arch	src
Summary	Proof management system
Description	Coq 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.
Build Time	2024-01-06 15:40:30 GMT
Size	7.30 MB
SIGMD5	24c0751226eac8e4d3bd7349a489f03c
License	LGPL-2.1-only AND MIT AND BSD-3-Clause
Buildroot	f40-build-771929-126039
Provides	coq = 8.18.0-1.fc40 coq-coqide = 8.18.0-1.fc40 coq-coqide-server = 8.18.0-1.fc40 coq-core = 8.18.0-1.fc40 coq-debuginfo = 8.18.0-1.fc40 coq-debugsource = 8.18.0-1.fc40
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	adwaita-icon-theme antlr4 >= 4.7.1 csdp-tools desktop-file-utils git-core libappstream-glib libicns-utils make ocaml >= 4.09.0 ocaml-cairo-devel >= 0.6.4 ocaml-dune >= 2.9 ocaml-findlib-devel >= 1.8.1 ocaml-lablgtk3-sourceview3-devel >= 3.1.2 ocaml-ocamldoc ocaml-ounit-devel ocaml-zarith-devel >= 1.11 python3-devel python3dist(antlr4-python3-runtime) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rsync texlive-base time
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 5 of 5 Name Size coq-8.18.0.tar.gz 7.26 MB coq.spec 34.09 KB coq.xml 317.00 B fr.inria.coqide.desktop 159.00 B fr.inria.coqide.metainfo.xml 1.91 KB
Component of	No Buildroots