diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/ptmap-2.0.5-r1')
| -rw-r--r-- | metadata/md5-cache/dev-ml/ptmap-2.0.5-r1 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/dev-ml/ptmap-2.0.5-r1 b/metadata/md5-cache/dev-ml/ptmap-2.0.5-r1 new file mode 100644 index 000000000000..d3acaac38655 --- /dev/null +++ b/metadata/md5-cache/dev-ml/ptmap-2.0.5-r1 @@ -0,0 +1,14 @@ +BDEPEND=dev-ml/dune dev-lang/ocaml +DEFINED_PHASES=compile install test +DEPEND=dev-ml/seq:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +DESCRIPTION=Maps of integers implemented as Patricia trees +EAPI=7 +HOMEPAGE=https://github.com/backtracking/ptmap +IUSE=+ocamlopt +KEYWORDS=~amd64 ~x86 +LICENSE=LGPL-2.1 +RDEPEND=dev-ml/seq:= dev-ml/stdlib-shims:= >=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= +SLOT=0/2.0.5 +SRC_URI=https://github.com/backtracking/ptmap/archive/2.0.5.tar.gz -> ptmap-2.0.5.tar.gz +_eclasses_=dune dce723780ea5cdf2d76da678d3bd9cea +_md5_=d47a3a2595c90872ac1f244fe6703e54 |