this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A library that implements dependent (heterogeneous) maps"
4description: """
5A library that implements dependent (heterogeneous) maps.
6 The type of keys is indexed by the type of the associated values, so
7 that the maps might contain data whose types may depend on the values of
8 keys. It is adapted from the implementation code for maps that is used by
9 the standard library."""
10maintainer: ["Benoît Montagu <benoit.montagu@inria.fr>"]
11authors: ["Benoît Montagu <benoit.montagu@inria.fr>"]
12license: "LGPL-2.1"
13homepage: "https://gitlab.inria.fr/bmontagu/dmap"
14bug-reports: "https://gitlab.inria.fr/bmontagu/dmap/-/issues"
15depends: [
16 "dune" {>= "2.9"}
17 "ocaml" {>= "4.08"}
18 "odoc" {with-doc}
19]
20build: [
21 ["dune" "subst"] {dev}
22 [
23 "dune"
24 "build"
25 "-p"
26 name
27 "-j"
28 jobs
29 "--promote-install-files=false"
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34 ["dune" "install" "-p" name "--create-install-files" name]
35]
36dev-repo: "git+https://gitlab.inria.fr/bmontagu/dmap"
37url {
38 src: "https://gitlab.inria.fr/bmontagu/dmap/-/archive/0.3/dmap-0.3.tar.gz"
39 checksum: [
40 "md5=4d44cddcc83ee62c976dee6863fa60ab"
41 "sha512=4f47d94277b16ac32c1a22de5a1bd87bfa1000ae495bfb65b3c7bdccd560697e37577dbbd846295dca8c02af797969605c0545a821c56ce3ee881d4a8769b6ce"
42 ]
43}