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.12"}
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.5/dmap-0.5.tar.gz"
39 checksum: [
40 "md5=fe62cbaa5916073a175b6f3b32dc8b68"
41 "sha512=9bbb186dc6d94e3f7ba5f64e74cb66cd13d5a5ff10b1924367a6629b49c9943a1f65ff65d5fe49a8fcfd69f15ddf4a4c93e0bf654cef781296576deace554d9b"
42 ]
43}