coq 8.20.1-1

Architecture: x86_64
Repository: Extra
Split Packages: coq-doc, coqide
Description: Formal proof management system
Upstream URL:
License(s): LGPL-2.1-or-later
Groups: coq
Replaces: coq-nox
Conflicts: coq-nox
Maintainers: Konstantin Gizdov
Package Size: 200.8 MB
Installed Size: 564.9 MB
Last Packager: Antonio Rojas
Build Date: 2025-01-18 22:37 UTC
Signed By: Antonio Rojas
Signature Date: 2025-01-18 22:47 UTC
Last Updated: 2025-01-18 22:49 UTC

Dependencies (30)

Required By (1)

Package Contents