coq-doc 8.12.0-2

Architecture: x86_64
Repository: Community
Base Package: coq
Description: HTML and PDF documentation for the Coq proof assistant
Upstream URL:
License(s): GPL
Groups: coq
Maintainers: Baptiste Jonglez
Konstantin Gizdov
Package Size: 12.1 MB
Installed Size: 107.4 MB
Last Packager: Jürgen Hötzel
Build Date: 2020-08-29 11:02 UTC
Signed By: Jürgen Hötzel
Signature Date: 2020-08-29 13:17 UTC
Last Updated: 2020-08-29 13:22 UTC

Required By (1)

  • coq (optional)