coqide 8.20.0-1

Architecture: x86_64
Repository: Extra
Base Package: coq
Description: GTK-based graphical interface for the Coq proof assistant
Upstream URL:
License(s): LGPL-2.1-or-later
Groups: coq
Maintainers: Konstantin Gizdov
Package Size: 2.2 MB
Installed Size: 8.8 MB
Last Packager: Konstantin Gizdov
Build Date: 2024-10-13 16:16 UTC
Signed By: Konstantin Gizdov
Signature Date: 2024-10-13 17:34 UTC
Last Updated: 2024-10-13 17:37 UTC

Required By (1)

  • coq (optional)