coq 8.11.0-1.0

Architecture: i686
Repository: i686/community
Split Packages: coq, coq-doc, coqide
Description: Formal proof management system
Upstream URL:
License(s): GPL
Package Size: 65.66 MB
Installed Size: 392.52 MB
Build Date: 2020-01-29 01:49:13
Last Updated: 2020-04-05 13:27:49

Dependencies (48)

Required By (1)