package satyrographos

  1. Overview
  2. Docs
A package manager for SATySFi

Install

github.com Readme 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.13.tar.gz
md5=76ceabf41952e1e1c9f630e743d02f78
sha512=c798de5aaf493c1c8224684240f491ce9fbb2a61f206b375b96970b7de16e604b51b3b73626013f5f276974399bea4e7272349789a334e39a440c301ab999111

Description

Satyrographos is a package manager for SATySFi.

Satyrographos is distributed under the LGPL-3.0 license.

Published: 26 Sep 2023

Dependencies (24)

  1. shexp
  2. ppx_jane
  3. core_unix
  4. core >= "v0.14" & < "v0.17"
  5. yojson
  6. yaml-sexp >= "3.0" & < "4.0"
  7. yaml >= "3.0" & < "4.0"
  8. uri-sexp >= "3.0.0"
  9. uri >= "3.0.0"
  10. re >= "1.9.0"
  11. ocaml >= "4.12.0"
  12. opam-state >= "2.1.0" & < "2.2"
  13. opam-format >= "2.1.0" & < "2.2"
  14. ocaml < "4.12.0"
  15. opam-state >= "2.0.4" & < "2.2"
  16. opam-format >= "2.0.4" & < "2.2"
  17. ocamlgraph
  18. ppx_deriving_yojson
  19. ppx_deriving
  20. ppx_import
  21. menhir >= "20181006"
  22. fileutils
  23. dune >= "2.7"
  24. ocaml >= "4.11.0"

Dev Dependencies (2)

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

Used by

None

Conflicts

None