hashsetversion
Sets as hash tables
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://github.com/backtracking/hashset |
| Issue Tracker | https://github.com/backtracking/hashset/issues |
| Maintainer | Jean-Christophe.Filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/hashset/archive/refs/tags/v1.0.1.zip sha256=93247267292744cf92752658dbf1e1a55b036e53551ce8b8eb9ea07abdddd8fe md5=e4ec32fe3c3cdbb7dfa1decc0cbd78ec |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/hashset/hashset.1.0.1/opam |
No package is dependent
