this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>"
3authors: [
4 "SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>"
5]
6homepage: "https://github.com/na4zagin3/satyrographos"
7dev-repo: "git+https://github.com/na4zagin3/satyrographos.git"
8bug-reports: "https://github.com/na4zagin3/satyrographos/issues"
9license: "LGPL-3.0-or-later"
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13]
14
15depends: [
16 "ocaml" {>= "4.06.0"}
17 "core" {< "v0.13"}
18 "dune" {>= "1.4"}
19 "fileutils"
20 "json-derivers"
21 "ppx_deriving"
22 "ppx_jane" {< "v0.13"}
23 "opam-format" {>= "2.0" & < "2.1"}
24 "uri" {>= "3.0.0"}
25 "uri-sexp" {>= "3.0.0"}
26 "shexp" {< "v0.13"}
27 "yojson"
28]
29synopsis: "A package manager for SATySFi"
30description: """
31Satyrographos is a package manager for [SATySFi].
32
33Satyrographos is distributed under the LGPL-3.0 license.
34
35
36 [SATySFi]: https://github.com/gfngfn/SATySFi
37 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
38url {
39 src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.1.tar.gz"
40 checksum: [
41 "md5=fc8607a885fb05369e8125584beee7da"
42 "sha512=923f9dbbfb23d675696ba000231ea6590c90e18c84fd167247b77131b05e4ee3a6371d8b5384a25fc4ec9d92de2c423e4c6fa8d93e346b668de252cdf4cb9e02"
43 ]
44}