coq-doc

Paket-Details

Name coq-doc
Version 8.10.2-1
Beschreibung HTML and PDF documentation for the Coq proof assistant
URL https://coq.inria.fr/
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen coq
Packer Felix Yan
Erstellt am 26.12.2019 00:44
Veröffentlicht am 26.12.2019 01:13
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket coq-doc-8.10.2-1-x86_64.pkg.tar.xz
PGP-Signatur coq-doc-8.10.2-1-x86_64.pkg.tar.xz.sig
Paket-Größe 12,46 MByte
Installations-Größe 84,15 MByte

Dateien