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/backtracking/ptmap/issues
MaintainerJean-Christophe.Filliatre@lri.fr
Dependencies
Source [http] https://github.com/UnixJunkie/ptmap/archive/v2.0.1.tar.gz
sha256=12f4f06479d30fce74167dd14edea8f7dc88feed4cbe027634c370826c7359d9
md5=7dffdb09dd9f2cc38c47c4322c3a6dc8
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.1/opam
Required by