SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

coq-doc rpm build for : Fedora 32. For other distributions click coq-doc.

Name : coq-doc
Version : 8.11.2 Vendor : Fedora Project
Release : 1.fc32 Date : 2020-06-16 16:24:16
Group : Unspecified Source RPM : coq-8.11.2-1.fc32.src.rpm
Size : 84.70 MB
Packager : Fedora Project
Summary : Documentation for Coq 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.

This package provides documentation and tutorials for the system. The
main documentation comes in two parts: the main Library documentation,
which describes all Coq.* modules, and the Reference Manual, which
gives a more complete description of the whole system. Included are
also HTML versions of both. Furthermore, there are two tutorials, the
main one, and one specifically on recursive types. The example code
for the latter is also included.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/updates/32/Everything/armhfp/Packages/c

Content of RPM  Changelog  Provides Requires

Download
ftp.pbone.net  coq-doc-8.11.2-1.fc32.noarch.rpm
ftp.pbone.net  coq-doc-8.11.2-1.fc32.noarch.rpm
ftp.pbone.net  coq-doc-8.11.2-1.fc32.noarch.rpm
     

Provides :
coq-doc

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/share/doc/coq/FAQ-CoqIde
/usr/share/doc/coq/LICENSE.doc
/usr/share/doc/coq/html
/usr/share/doc/coq/html/stdlib
/usr/share/doc/coq/html/stdlib/Coq.Arith.Arith.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Arith_base.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Between.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Bool_nat.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Compare.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Compare_dec.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Div2.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.EqNat.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Euclid.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Even.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Factorial.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Gt.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Le.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Lt.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Max.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Min.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Minus.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Mult.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.PeanoNat.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Peano_dec.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Plus.html
/usr/share/doc/coq/html/stdlib/Coq.Arith.Wf_nat.html
/usr/share/doc/coq/html/stdlib/Coq.Bool.Bool.html
/usr/share/doc/coq/html/stdlib/Coq.Bool.BoolEq.html
/usr/share/doc/coq/html/stdlib/Coq.Bool.Bvector.html
/usr/share/doc/coq/html/stdlib/Coq.Bool.DecBool.html
There is 1164 files more in these RPM.