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 "ppx_deriving"
25 "ocamlgraph"
26 "opam-format" {>= "2.0" & < "2.1"}
27 "opam-state" {>= "2.0" & < "2.1"}
28 "re" {>= "1.9"}
29 "stringext" {with-test}
30 "uri" {>= "3.0.0"}
31 "uri-sexp" {>= "3.0.0"}
32 "yojson" {< "2.0.0"}
33
34 # Janestreet Libs
35 "core" {>= "v0.13"}
36 "ppx_jane"
37 "shexp"
38]
39synopsis: "A package manager for SATySFi"
40description: """
41Satyrographos is a package manager for [SATySFi].
42
43Satyrographos is distributed under the LGPL-3.0 license.
44
45
46 [SATySFi]: https://github.com/gfngfn/SATySFi
47 [Satyrographos]: https://github.com/na4zagin3/satyrographos"""
48url {
49 src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.7.tar.gz"
50 checksum: [
51 "md5=5fb76f07c93bcc0aba92ddc497d1e4c5"
52 "sha512=4f9f155f31925efe4e03cb1a285bf9ddb52e8efd99fef104d8102ad0a675137a0fcf0b9a08076035ae37f7eb960e5467ad31eb11e33672bbd15a50b2193fdc7f"
53 ]
54}