bitvversion
A bit vector library
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-only |
| Published | |
| Homepage | https://www.lri.fr/~filliatr/software.en.html |
| Maintainer | filliatr@lri.fr |
| Dependencies | |
| Source [http] | https://www.lri.fr/~filliatr/ftp/ocaml/ds/bitv-1.1.tar.gz sha256=122ae57e71e45a5ef8a876b32f1b558e5cbd4b84174e21c59a1e9fa14895d33e md5=5b65f4e719a1ea29add797563950c9ea |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bitv/bitv.1.1/opam |
Required by
- acpc=1.1.1 | >=2.0.0
- bloomf<0.2.0
- hts_shrink<3.0.1
- ucorelib>=0.2.0
