ptmapversion
Maps over integers implemented as Patricia trees
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | GPL-2.1 |
| Published | |
| Homepage | https://www.lri.fr/~filliatr/software.en.html |
| Issue Tracker | https://github.com/backtracking/ptmap/issues |
| Maintainer | Jean-Christophe.Filliatre@lri.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/ptmap/archive/v2.0.2.tar.gz sha256=e552143c13f1d3a42a7b5561d047a6864009eb4dc9007d8d0b98e0bbd007971f md5=67d6d169872c4ccedb28e163c8ddc45b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/ptmap/ptmap.2.0.2/opam |
Required by
- coin<0.1.2
- haxe>=4.0.0
- hts_shrink<3.0.1
- uuuu<0.2.0
