satyrographos

A package manager for SATySFi
Description

Satyrographos is a package manager for SATySFi.

Satyrographos is distributed under the LGPL-3.0 license.

Install
Documentation github.com Changelog LGPL-3.0-or-later License Edit opam file
Published
11 Sep 2019
Authors
Maintainers
Sources
v0.0.2.1.tar.gz
md5=fc8607a885fb05369e8125584beee7da sha512=923f9dbbfb23d675696ba000231ea6590c90e18c84fd167247b77131b05e4ee3a6371d8b5384a25fc4ec9d92de2c423e4c6fa8d93e346b668de252cdf4cb9e02
Dependencies
yojson
shexp < "v0.13"
uri-sexp >= "3.0.0"
uri >= "3.0.0"
opam-format >= "2.0" & < "2.1"
ppx_jane < "v0.13"
ppx_deriving
json-derivers
fileutils
dune >= "1.4"
core < "v0.13"
ocaml >= "4.06.0"
Reverse Dependencies