SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : coq-doc
Version : 8.19.2 Vendor : obs://build_opensuse_org/science
Release : 68.35 Date : 2024-06-30 19:20:06
Group : Documentation/HTML Source RPM : coq-8.19.2-68.35.src.rpm
Size : 81.87 MB
Packager : (none)
Summary : Documentation for coq
Description :
HTML reference manual for Coq and full documentation of the standard library.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Factory_PowerPC/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  coq-doc-8.19.2-68.35.noarch.rpm
     

Provides :
coq-doc

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


Content of RPM :
/usr/share/doc/packages/coq
/usr/share/doc/packages/coq/refman
/usr/share/doc/packages/coq/refman/_images
/usr/share/doc/packages/coq/refman/_images/async-mode.png
/usr/share/doc/packages/coq/refman/_images/coqide-queries.png
/usr/share/doc/packages/coq/refman/_images/coqide.png
/usr/share/doc/packages/coq/refman/_images/debugger.png
/usr/share/doc/packages/coq/refman/_images/diffs-coqide-compacted.png
/usr/share/doc/packages/coq/refman/_images/diffs-coqide-multigoal.png
/usr/share/doc/packages/coq/refman/_images/diffs-coqide-on.png
/usr/share/doc/packages/coq/refman/_images/diffs-coqide-removed.png
/usr/share/doc/packages/coq/refman/_images/diffs-coqtop-on3.png
/usr/share/doc/packages/coq/refman/_images/diffs-error-message.png
/usr/share/doc/packages/coq/refman/_images/diffs-show-proof.png
/usr/share/doc/packages/coq/refman/_static
/usr/share/doc/packages/coq/refman/_static/CoqNotations.ttf
/usr/share/doc/packages/coq/refman/_static/ansi-dark.css
/usr/share/doc/packages/coq/refman/_static/ansi.css
/usr/share/doc/packages/coq/refman/_static/async-mode.png
/usr/share/doc/packages/coq/refman/_static/basic.css
/usr/share/doc/packages/coq/refman/_static/coqdoc.css
/usr/share/doc/packages/coq/refman/_static/coqide-queries.png
/usr/share/doc/packages/coq/refman/_static/coqide.png
/usr/share/doc/packages/coq/refman/_static/coqnotations.sty
/usr/share/doc/packages/coq/refman/_static/css
/usr/share/doc/packages/coq/refman/_static/css/badge_only.css
/usr/share/doc/packages/coq/refman/_static/css/fonts
/usr/share/doc/packages/coq/refman/_static/css/fonts/Roboto-Slab-Bold.woff
/usr/share/doc/packages/coq/refman/_static/css/fonts/Roboto-Slab-Bold.woff2
/usr/share/doc/packages/coq/refman/_static/css/fonts/Roboto-Slab-Regular.woff
There is 1152 files more in these RPM.

  
ICM