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" {>= "20180538"}
27 "ppx_deriving"
28 "ppx_deriving_yojson"
29 "ocamlgraph"
30 "opam-format" {>= "2.0" & < "2.1"}
31 "opam-state" {>= "2.0" & < "2.1"}
32 "re" {>= "1.9.0"}
33 "stringext" {with-test}
34 "uri" {>= "3.0.0"}
35 "uri-sexp" {>= "3.0.0"}
36 "yaml" {>= "2.0" & < "3.0"}
37 "yojson"
38
39 # Janestreet Libs
40 "core" {>= "v0.14"}
41 "ppx_jane"
42 "shexp"
43]
44conflicts: [
45 "yojson" {>= "2.0.0"}
46]
47synopsis: "A package manager for SATySFi"
48description: """
49Satyrographos is a package manager for [SATySFi].
50
51Satyrographos is distributed under the LGPL-3.0 license.
52
53
54 [SATySFi]: https://github.com/gfngfn/SATySFi
55 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
56url {
57 src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.10.tar.gz"
58 checksum: [
59 "md5=4676b5734d89aee82e5da2f58f81f0a8"
60 "sha512=37f8a21d6988640bf62fe28e9afbac0596f21a3b9b6ce82a68ab4dda4fa1f1dfd2076dd9c4be60f9efdc97780f93ff1c5d95a67314ea0a4afbb26f2bf001de38"
61 ]
62}