coqide 8.6-5

Architecture: i686
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: 7.5 MB
Last Packager: Johannes Löthberg <johannes@kyriasis.com>
Build Date: 2017-02-22 19:09 UTC
Signed By: Unknown (0x0EB0D45D)
Signature Date: 2017-02-22 19:37 UTC
Last Updated: 2017-05-14 07:18 UTC

Dependencies (17)

Required By (1)

  • coq (optional)