package coqide
IDE of the Coq formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
V8.10.0.tar.gz
sha512=f3da7f77f5ec760d6339233f5fcb3d743092d05baa33f3f0781e6729bcb996b14c2cfc45f5000a6fc4cee10b9e7532682bddda25c5dc2616d9e7ca70306b4724
Description
Published: 13 Oct 2019
Dependencies (4)
- conf-adwaita-icon-theme
-
conf-findutils
build -
lablgtk3-sourceview3
!= "3.0.beta7" -
coq
= version
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page