coqide 8.12.0-1.0

Architecture: pentium4
Repository: pentium4/community
Split Packages: coq, coq-doc, coqide (coq)
Description: not found in pkg-api
Upstream URL:
License(s): not found in pkg-api
Package Size: B
Installed Size: B
Build Date: not found in pkg-api
Last Updated: 2020-07-30 07:55:31

Dependencies (68)

Required By (1)