opam-version: "2.0" maintainer: "Jean-Christophe.Filliatre@lri.fr" authors: "Jean-Christophe Filliâtre" synopsis: "Resizable Arrays" description: "aka vectors, dynamic arrays, growable arrays" license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" homepage: "https://github.com/backtracking/vector" doc: "https://backtracking.github.io/vector" bug-reports: "https://github.com/backtracking/vector/issues" depends: [ "ocaml" "dune" {>= "2.0.0"} ] build: [ ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name "-j" jobs] {with-test} ] dev-repo: "git+https://github.com/backtracking/vector.git" x-commit-hash: "fb07dcedb602fec0675f33531b1c93ae471f5ab9" url { src: "https://github.com/backtracking/vector/releases/download/1.0.0/vector-1.0.0.tbz" checksum: [ "sha256=f212d1d693ce37deb0da2550aab8d550ad5ea457c5757dc02f8ca8a66ebe6641" "sha512=5125dd16f806af4cf7cef112b021f32f4a591b87533d25f8ac684e0eefc0a126f0d878c0d636546fb13afcd113190f7aba90176e5a1049492a7ea2f8a188e5a6" ] }