coq 8.12.0-1.0

Architecture: pentium4
Repository: pentium4/community
Split Packages: coq, coq-doc, coqide
Description: Formal proof management system
Upstream URL:
License(s): GPL
Package Size: 60.09 MB
Installed Size: 358.81 MB
Build Date: 2020-07-25 13:11:02
Last Updated: 2020-07-30 07:55:31

Dependencies (49)

Required By (1)