coqide 8.6-5

Architecture: x86_64
Repository: Community
Base Package: coq
Description: GTK-based graphical interface for the Coq proof assistant
Upstream URL:
License(s): GPL
Groups: coq
Maintainers: Orphan
Package Size: 1.4 MB
Installed Size: 9.6 MB
Last Packager: Johannes Löthberg <johannes@kyriasis.com>
Build Date: 2017-02-22 19:11 UTC
Signed By: Unknown (0x0EB0D45D)
Signature Date: 2017-02-22 19:37 UTC
Last Updated: 2017-05-14 07:21 UTC

Dependencies (17)

Required By (1)

  • coq (optional)