satyrographos

A package manager for SATySFi
Description

Satyrographos is a package manager for SATySFi.

Satyrographos is distributed under the LGPL-3.0 license.

Install
Published
15 Dec 2021
Authors
Maintainers
Sources
v0.0.2.11.tar.gz
md5=29a722e0a0db085ed7ce257e3d5c40ae sha512=c89d560c540aeef52f486c011cdfe0098dc37eb55fca8fa50900a6eadf1c34336edd3fe5d053ccb7b29ae80999eccb663bf897eca3d7b3088c84904a11dc5a59
Dependencies
core >= "v0.14" & < "v0.15"
yaml >= "2.0" & < "3.0"
uri-sexp >= "3.0.0"
uri >= "3.0.0"
stringext with-test
re >= "1.9.0"
ocaml >= "4.12.0"
opam-state >= "2.1.0" & < "2.2"
opam-format >= "2.1.0" & < "2.2"
ocaml < "4.12.0"
opam-state >= "2.0.4" & < "2.2"
opam-format >= "2.0.4" & < "2.2"
menhir >= "20180523"
dune >= "2.7"
ocaml >= "4.09.0"
Reverse Dependencies
Conflicts
yojson >= "2.0.0"
result < "1.5"