coq-doc (8.20.0-2)

Details

Core information at a glance

Distribution
debian
Origin
debian-sid
Repository
https://deb.debian.org/debian
Codename
sid
Component
non-free
Source
none
Architecture
ppc64el
Section
non-free/doc
Priority
optional
Maintainer
Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
21 B
Size expected
5.4 kB
Size actual
5.4 kB
Size match

Dependencies

Required package dependencies

  • coq-doc-html (>= 8.20.0-2)
  • coq-doc-pdf (>= 8.20.0-2)
  • node-mathjax-full

Suggested packages

Recommended additional packages

  • None

Description

documentation for Coq

Homepage Download .deb

Tags

Package classification tags

devel::doc
made-of::html
role::documentation
role::metapackage

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5584dacc6…abe23f3c
SHA-1f87969b1…81dd27eb
SHA-256dc50397c…b8dd5b98
SHA-512f6b05015…f1eeca99

Contents

Files and directories included

.
usr
usr/share
usr/share/doc
usr/share/doc/coq
usr/share/doc/coq-doc
usr/share/doc/coq-doc/changelog.Debian.gz
usr/share/doc/coq-doc/copyright
usr/share/doc/coq/html
usr/share/doc/coq/pdf
usr/share/doc/coq-doc/html
usr/share/doc/coq-doc/pdf