libzipperposition

Library for Zipperposition
Description
Install
Documentation status is unknown. Sorry about that.
Published
11 Dec 2020
Sources
2.0.tar.gz
md5=7a8e57388083ed763d12d18324c8a086
sha512=5c5ac312ada6b42907d1e91e349454a8375f7bf8165d3459721a40b707a840a3d6b3dc968a66f1040cb4de7aedf5c1c13f3e90b51337eae5ea6de41651d7bd63
Dependencies
ocaml
>= "4.07"
logtk
= version
menhir
build
msat
>= "0.8.1" & < "0.9"
dune
>= "1.11"
iter
>= "1.2"
containers-data
>= "3.1" & < "4.0"
containers
>= "3.1" & < "4.0"
logtk
= version
Reverse Dependencies