version: "2.0.5"
opam-version: "2.0"
maintainer: "Jean-Christophe.Filliatre@lri.fr"
authors: "Jean-Christophe Filliâtre"
synopsis: "Maps of integers implemented as Patricia trees"
description: "An implementation inspired by Okasaki & Gill's paper
'Fast Mergeable Integer Maps'"
license: "LGPL-2.1"
homepage: "https://github.com/backtracking/ptmap"
doc: "https://backtracking.github.io/ptmap"
bug-reports: "https://github.com/backtracking/ptmap/issues"
depends: [
  "ocaml"
  "stdlib-shims"
  "seq"
  "dune" {>= "2.0.0"}
]
build: [
  ["dune" "subst"] {pinned}
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "runtest" "-p" name] {with-test}
]
dev-repo: "git+https://github.com/backtracking/ptmap.git"