bitvversion
A bit vector library for OCaml
A bit vector library for OCaml
| Author | Jean-Christophe Filliâtre |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://github.com/backtracking/bitv |
| Issue Tracker | https://github.com/backtracking/bitv/issues |
| Maintainer | Jean-Christophe.Filliatre@cnrs.fr |
| Dependencies | |
| Source [http] | https://github.com/backtracking/bitv/archive/refs/tags/2.0.tar.gz md5=3cc19ac840f22c19508aac5063fcb43c sha512=8a96af5d5573746b004fe018ef2b6faa0c3adf52c356e8a7b3ba97d3ba3cead685e1f3e174d46ccd3a09bb3215a4936501b08eabd36f0492a240ea20128bafae |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bitv/bitv.2.0/opam |
Required by
- acpc=1.1.1 | >=2.0.0
- bloomf
- hts_shrink<3.0.1
- lbvs_consent
- ucorelib>=0.2.0
