this repo has no description
1opam-version: "2.0"
2synopsis: "Stog multi server library"
3maintainer: "zoggy@bat8.org"
4authors: "Zoggy <zoggy@bat8.org>"
5license: "GPL-3.0-only"
6homepage: "https://www.good-eris.net/stog/"
7doc: "https://www.good-eris.net/stog/doc.html"
8bug-reports: "https://framagit.org/zoggy/stog/issues"
9depends: [
10 "dune" {>= "2.9"}
11 "stog" {= version}
12 "stog_server" {= version}
13 "ojs_base_ppx" {>= "0.8.0"}
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "--promote-install-files=false"
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30 ["dune" "install" "-p" name "--create-install-files" name]
31]
32dev-repo: "git+https://framagit.org/zoggy/stog.git"
33url {
34 src: "https://www.good-eris.net/stog/releases/stog-1.1.0.tar.bz2"
35 checksum: [
36 "md5=03c4072037bf05666a249d02954396c3"
37 "sha512=299fdb7036c92bd5317726ed20f982123f57897e0d8611dfae383251a6d793e63d372c6628742412d803224a3155ab021f79550fada2e980c7d6179d90f8e43f"
38 ]
39}