1. Overview
  2. Docs
A package manager for SATySFi

Install

github.com Readme Changelog LGPL-3.0-or-later License Edit opam file

Authors

  1. S
    SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>

Maintainers

  1. S
    SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>

Sources

v0.0.2.11.tar.gz
md5=29a722e0a0db085ed7ce257e3d5c40ae
sha512=c89d560c540aeef52f486c011cdfe0098dc37eb55fca8fa50900a6eadf1c34336edd3fe5d053ccb7b29ae80999eccb663bf897eca3d7b3088c84904a11dc5a59

Description

Satyrographos is a package manager for SATySFi.

Satyrographos is distributed under the LGPL-3.0 license.

Published: 15 Dec 2021

Dependencies (22)

  1. shexp
  2. ppx_jane
  3. core >= "v0.14" & < "v0.15"
  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. ocaml >= "4.12.0"
  10. opam-state >= "2.1.0" & < "2.2"
  11. opam-format >= "2.1.0" & < "2.2"
  12. ocaml < "4.12.0"
  13. opam-state >= "2.0.4" & < "2.2"
  14. opam-format >= "2.0.4" & < "2.2"
  15. ocamlgraph
  16. ppx_deriving_yojson
  17. ppx_deriving
  18. menhir >= "20180523"
  19. json-derivers
  20. fileutils
  21. dune >= "2.7"
  22. ocaml >= "4.09.0"

Dev Dependencies (2)

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

Used by

    None

Conflicts (2)

  1. yojson >= "2.0.0"
  2. result < "1.5"