opam on Github

ptmapversion
2.0.4

Maps over integers implemented as Patricia trees

AuthorJean-Christophe Filliâtre
LicenseLGPL-2.1-only
Published
Homepagehttps://www.lri.fr/~filliatr/software.en.html
Issue Trackerhttps://github.com/backtracking/ptmap/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/backtracking/ptmap/archive/v2.0.4.tar.gz
sha256=5c0f32d96f90fee6bd86e02a78f3e5b2092caade1a88effc434c185ea20cc6a7
md5=0402cdfebb221e39237c616bfdb99afc
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.4/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.