coq-ollibs

OL libraries

opam install coq-ollibs.2.0.0
homepage
https://github.com/olaure01/ollibs
license
LGPL-3.0-or-later
bugs tracker
https://github.com/olaure01/ollibs/issues
dependencies
"coq" {>= "8.12.0" & < "8.13"}
source
https://github.com/olaure01/ollibs/archive/v2.0.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ollibs/coq-ollibs.2.0.0