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.4/dmap-0.4.tar.gz"
39 checksum: [
40 "md5=da60fe8b3bffa3c3512fcc5ec3a9b20c"
41 "sha512=ffa35862f7fe726513fc8e0a935495e134a13e422a964abdead7e719ad80b1bf1d7d1f9e292cdbfa53361fdbb2448c81f849a8f7fd29fb880e578b9620140fe5"
42 ]
43}