coqide 8.12.0-2.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: 2267.57 kB
Installed Size: 8900.20 kB
Build Date: 2020-08-30 00:24:44
Last Updated: 2020-09-06 03:21:28

Dependencies (69)

Required By (1)