Coq OPAMcoq-bits
A bit vector library
opam install coq-bits.1.0.0
- homepage
- https://github.com/coq-community/bits
- license
- Apache-2.0
- bugs tracker
- https://github.com/coq-community/bits/issues
- dependencies
- "ocaml" {(>= "4.05" & < "4.10~")} "coq" {(>= "8.7" & < "8.13~") | (= "dev")} "coq-mathcomp-algebra" {(>= "1.7" & < "1.12~") | (= "dev")}
- source
- https://github.com/coq-community/bits/archive/1.0.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-bits/coq-bits.1.0.0