coqide 8.13.2-1

Architecture: x86_64
Repository: Community
Base Package: coq
Description: GTK-based graphical interface for the Coq proof assistant
Upstream URL:
License(s): GPL
Groups: coq
Maintainers: Baptiste Jonglez
Konstantin Gizdov
Package Size: 2.4 MB
Installed Size: 11.3 MB
Last Packager: Felix Yan
Build Date: 2021-05-28 15:28 UTC
Signed By: Felix Yan
Signature Date: 2021-05-28 15:46 UTC
Last Updated: 2021-05-28 15:56 UTC

Required By (1)

  • coq (optional)