Skip to content

Commit 7af08d5

Browse files
authored
Merge pull request ocaml#14806 from na4zagin3/opam-publish-satyrographos.0.0.2.1
Package satyrographos.0.0.2.1
2 parents a13dff5 + 302f937 commit 7af08d5

File tree

1 file changed

+44
-0
lines changed
  • packages/satyrographos/satyrographos.0.0.2.1

1 file changed

+44
-0
lines changed
Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
opam-version: "2.0"
2+
maintainer: "SAKAMOTO Noriaki <[email protected]>"
3+
authors: [
4+
"SAKAMOTO Noriaki <[email protected]>"
5+
]
6+
homepage: "https://github.com/na4zagin3/satyrographos"
7+
dev-repo: "git+https://github.com/na4zagin3/satyrographos.git"
8+
bug-reports: "https://github.com/na4zagin3/satyrographos/issues"
9+
license: "LGPL3+"
10+
build: [
11+
["dune" "subst"] {pinned}
12+
["dune" "build" "-p" name "-j" jobs]
13+
]
14+
15+
depends: [
16+
"ocaml" {>= "4.06.0"}
17+
"core" {< "v0.13"}
18+
"dune" {>= "1.4"}
19+
"fileutils"
20+
"json-derivers"
21+
"ppx_deriving"
22+
"ppx_jane" {< "v0.13"}
23+
"opam-format" {>= "2.0" & < "2.1"}
24+
"uri" {>= "3.0.0"}
25+
"uri-sexp" {>= "3.0.0"}
26+
"shexp" {< "v0.13"}
27+
"yojson"
28+
]
29+
synopsis: "A package manager for SATySFi"
30+
description: """
31+
Satyrographos is a package manager for [SATySFi].
32+
33+
Satyrographos is distributed under the LGPL-3.0 license.
34+
35+
36+
[SATySFi]: https://github.com/gfngfn/SATySFi
37+
[Satyrographos]: https://github.com/na4zagin3/satyrographos"""
38+
url {
39+
src: "https://github.com/na4zagin3/satyrographos/archive/v0.0.2.1.tar.gz"
40+
checksum: [
41+
"md5=fc8607a885fb05369e8125584beee7da"
42+
"sha512=923f9dbbfb23d675696ba000231ea6590c90e18c84fd167247b77131b05e4ee3a6371d8b5384a25fc4ec9d92de2c423e4c6fa8d93e346b668de252cdf4cb9e02"
43+
]
44+
}

0 commit comments

Comments
 (0)