coq 8.6-5

Architecture: x86_64
Repository: Community
Split Packages: coq-doc, coqide
Description: Formal proof management system
Upstream URL:
License(s): GPL
Groups: coq
Replaces: coq-nox
Conflicts: coq-nox
Maintainers: Orphan
Package Size: 43.7 MB
Installed Size: 264.4 MB
Last Packager: Johannes Löthberg <johannes@kyriasis.com>
Build Date: 2017-02-22 19:05 UTC
Signed By: Unknown (0x0EB0D45D)
Signature Date: 2017-02-22 19:37 UTC
Last Updated: 2017-05-14 07:20 UTC

Dependencies (16)

Required By (1)

Package Contents