opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: ["Jean-Christophe Filliâtre"]
license: "LGPL-2.1-only"
build: [
  ["./configure"]
  [make]
]
synopsis: "A bit vector library"
depends: [
  "ocaml" {< "4.06.0"}
]
extra-files: [
  ["bitv.install" "md5=7c8ae3398e3430f0943f8e72a61e3850"]
  ["META" "md5=f742f3cb1e62615f06b3161e77fc445c"]
]
url {
  src: "https://www.lri.fr/~filliatr/ftp/ocaml/ds/bitv-1.0.tar.gz"
  checksum: "md5=b9532c91945f3f22090c18669fd60f2a"
}
