coq-doc 8.13.2-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: Konstantin Gizdov
Package Size: 12.6 MB
Installed Size: 112.1 MB
Last Packager: Jürgen Hötzel
Build Date: 2021-07-27 14:53 UTC
Signed By: Jürgen Hötzel
Signature Date: 2021-07-27 15:56 UTC
Last Updated: 2021-07-27 16:08 UTC

Required By (1)

  • coq (optional)