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.11.0"}
21
22 "conf-diffutils" {with-test}
23 "dune" {>= "2.7"}
24 "fileutils"
25 "menhir" {>= "20181006"}
26 "ppx_import"
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" {>= "3.0" & < "4.0"}
42 "yaml-sexp" {>= "3.0" & < "4.0"}
43 "yojson"
44
45 # Janestreet Libs
46 "core" {>= "v0.14" & < "v0.17"}
47 "core_unix"
48 "ppx_jane"
49 "shexp"
50]
51
52synopsis: "A package manager for SATySFi"
53description: """
54Satyrographos is a package manager for [SATySFi].
55
56Satyrographos is distributed under the LGPL-3.0 license.
57
58
59 [SATySFi]: https://github.com/gfngfn/SATySFi
60 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
61url {
62 src:
63 "https://github.com/na4zagin3/satyrographos/archive/refs/tags/v0.0.2.13.tar.gz"
64 checksum: [
65 "md5=76ceabf41952e1e1c9f630e743d02f78"
66 "sha512=c798de5aaf493c1c8224684240f491ce9fbb2a61f206b375b96970b7de16e604b51b3b73626013f5f276974399bea4e7272349789a334e39a440c301ab999111"
67 ]
68}