coq-bytestring

A simple string library built around byte instead of Ascii

opam install coq-bytestring.0.9.0
homepage
https://gitlab.com/bedrockpublic/coq-bytestring
license
LGPL-2.1 + BedRock
bugs tracker
https://gitlab.com/bedrockpublic/coq-bytestring/issues
dependencies
"ocaml" "coq" {>= "8.11" & < "8.12~"}
source
https://gitlab.com/bedrockpublic/coq-bytestring/-/archive/v0.9.0/coq-bytestring-v0.9.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-bytestring/coq-bytestring.0.9.0