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