satyrographos
  1. Overview
  2. Docs
A package manager for SATySFi

Install

Authors

Maintainers

Sources

v0.0.2.10.tar.gz
md5=4676b5734d89aee82e5da2f58f81f0a8
sha512=37f8a21d6988640bf62fe28e9afbac0596f21a3b9b6ce82a68ab4dda4fa1f1dfd2076dd9c4be60f9efdc97780f93ff1c5d95a67314ea0a4afbb26f2bf001de38

Description

Satyrographos is a package manager for SATySFi.

Satyrographos is distributed under the LGPL-3.0 license.

Published: 09 Mar 2021

Dependencies (18)

  1. shexp
  2. ppx_jane
  3. core >= "v0.14"
  4. yojson
  5. yaml >= "2.0" & < "3.0"
  6. uri-sexp >= "3.0.0"
  7. uri >= "3.0.0"
  8. re >= "1.9.0"
  9. opam-state >= "2.0" & < "2.1"
  10. opam-format >= "2.0" & < "2.1"
  11. ocamlgraph
  12. ppx_deriving_yojson
  13. ppx_deriving
  14. menhir >= "20180538"
  15. json-derivers
  16. fileutils
  17. dune >= "2.7"
  18. ocaml >= "4.09.0"

Dev Dependencies (2)

  1. stringext with-test
  2. conf-diffutils with-test

Used by

None

Conflicts (1)

  1. yojson >= "2.0.0"