ptmapversion

Maps over integers implemented as Patricia trees

AuthorJean-Christophe FilliĆ¢tre
LicenseGPL-2.1
Published
Homepagehttps://www.lri.fr/~filliatr/software.en.html
Issue Trackerhttps://github.com/UnixJunkie/ptmap/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/UnixJunkie/ptmap/archive/v1.0.0.tar.gz
sha256=218fcad43ff97be7e23d0e89a30331bb9226e93afe2e5c3e803b5aec6de9b904
md5=f0dd78d650bd2e92ff11883eacdd4da6
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.1.0.0/opam
Required by