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"]
17]
18
19depends: [
20 "ocaml" {>= "4.09.0"}
21 "dune" {>= "2.7"}
22 "fileutils"
23 "json-derivers"
24 "menhir" {>= "20180538"}
25 "ppx_deriving"
26 "ppx_deriving_yojson"
27 "ocamlgraph"
28 "opam-format" {>= "2.0" & < "2.1"}
29 "opam-state" {>= "2.0" & < "2.1"}
30 "re" {>= "1.9.0"}
31 "stringext" {with-test}
32 "uri" {>= "3.0.0"}
33 "uri-sexp" {>= "3.0.0"}
34 "yaml" {>= "2.0" & < "3.0"}
35 "yojson"
36
37 # Janestreet Libs
38 "core" {>= "v0.14"}
39 "ppx_jane"
40 "shexp"
41]
42conflicts: [
43 "yojson" {>= "2.0.0"}
44]
45depexts: [
46 [ "diffutils" ] {with-test}
47]
48synopsis: "A package manager for SATySFi"
49description: """
50Satyrographos is a package manager for [SATySFi].
51
52Satyrographos is distributed under the LGPL-3.0 license.
53
54
55 [SATySFi]: https://github.com/gfngfn/SATySFi
56 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
57url {
58 src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.8.tar.gz"
59 checksum: [
60 "md5=37f4c1415fb0aeee89d6808b3e3eaa82"
61 "sha512=d3ecd1568702f78a33b65722a89ea6999ee832318ddb2608f758f3e09891f4fb29b79b1a01fc01e219a8742b214708e32a9ceede3eae77e24023b2db63221f45"
62 ]
63}