this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Base package for prbnmcn-* packages"
4maintainer: ["igarnier@protonmail.com"]
5authors: ["Ilias Garnier"]
6license: "MIT"
7homepage: "http://github.com/igarnier/prbnmcn-basic-structures"
8doc: "https://igarnier.github.io/prbnmcn-basic-structures"
9bug-reports: "http://github.com/igarnier/prbnmcn-basic-structures"
10depends: [
11 "dune" {>= "2.8"}
12 "ocaml" {>= "4.12.0"}
13 "zarith" {>= "1.10"}
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30dev-repo: "git+https://github.com/igarnier/prbnmcn-basic-structures"
31url {
32 src:
33 "https://github.com/igarnier/prbnmcn-basic-structures/archive/0.0.1.tar.gz"
34 checksum: [
35 "md5=f169865416fdd1804beace6daeba2cb9"
36 "sha512=8a78c0572866e6471f8123d702aee42e6abdef6b0b633ab0ea678382a26194a1d79dea9d44ea0cb7b45d77dac25a6706153c3074f7b0aad05ce744fb480d8518"
37 ]
38}