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 ["sed" "-i.bak" "-e" "s/%%%%VERSION_NUM%%%%/%{version}%/" "bin/main.ml"]
13 ["dune" "build" "-p" name "-j" jobs]
14]
15run-test: [
16 ["dune" "runtest" "-p" name "-j" jobs]
17]
18
19depends: [
20 "ocaml" {>= "4.09.0"}
21
22 "conf-diffutils" {with-test}
23 "dune" {>= "2.7"}
24 "fileutils"
25 "json-derivers"
26 "menhir" {>= "20180523"}
27 "ppx_deriving"
28 "ppx_deriving_yojson"
29 "ocamlgraph"
30 ( "opam-format" {>= "2.0.4" & < "2.2"}
31 & "opam-state" {>= "2.0.4" & < "2.2"}
32 & "ocaml" {< "4.12.0"}
33 | "opam-format" {>= "2.1.0" & < "2.2"}
34 & "opam-state" {>= "2.1.0" & < "2.2"}
35 & "ocaml" {>= "4.12.0"}
36 )
37 "re" { >= "1.9.0" }
38 "stringext" {with-test}
39 "uri" {>= "3.0.0"}
40 "uri-sexp" {>= "3.0.0"}
41 "yaml" {>= "2.0" & < "3.0"}
42 "yojson"
43
44 # Janestreet Libs
45 "core" {>= "v0.14" & < "v0.15"}
46 "ppx_jane"
47 "shexp"
48]
49conflicts: [
50 "result" {< "1.5"}
51 "yojson" {>= "2.0.0"}
52]
53synopsis: "A package manager for SATySFi"
54description: """
55Satyrographos is a package manager for [SATySFi].
56
57Satyrographos is distributed under the LGPL-3.0 license.
58
59
60 [SATySFi]: https://github.com/gfngfn/SATySFi
61 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
62url {
63 src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.11.tar.gz"
64 checksum: [
65 "md5=29a722e0a0db085ed7ce257e3d5c40ae"
66 "sha512=c89d560c540aeef52f486c011cdfe0098dc37eb55fca8fa50900a6eadf1c34336edd3fe5d053ccb7b29ae80999eccb663bf897eca3d7b3088c84904a11dc5a59"
67 ]
68}