coqide 8.11.0-1.0

Architecture: i686
Repository: i686/community
Split Packages: coq, coq-doc, coqide (coq)
Description: GTK-based graphical interface for the Coq proof assistant
Upstream URL:
License(s): GPL
Package Size: 2502.10 kB
Installed Size: 10788.93 kB
Build Date: 2020-01-29 01:49:13
Last Updated: 2020-04-05 08:54:07

Dependencies (67)

Required By (1)