this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@lri.fr"
3authors: "Jean-Christophe Filliâtre"
4synopsis: "Resizable Arrays"
5description: "aka vectors, dynamic arrays, growable arrays"
6license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
7homepage: "https://github.com/backtracking/vector"
8doc: "https://backtracking.github.io/vector"
9bug-reports: "https://github.com/backtracking/vector/issues"
10depends: [
11 "ocaml"
12 "dune" {>= "2.0.0"}
13]
14build: [
15 ["dune" "subst"] {dev}
16 ["dune" "build" "-p" name "-j" jobs]
17 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
18]
19dev-repo: "git+https://github.com/backtracking/vector.git"
20x-commit-hash: "fb07dcedb602fec0675f33531b1c93ae471f5ab9"
21url {
22 src:
23 "https://github.com/backtracking/vector/releases/download/1.0.0/vector-1.0.0.tbz"
24 checksum: [
25 "sha256=f212d1d693ce37deb0da2550aab8d550ad5ea457c5757dc02f8ca8a66ebe6641"
26 "sha512=5125dd16f806af4cf7cef112b021f32f4a591b87533d25f8ac684e0eefc0a126f0d878c0d636546fb13afcd113190f7aba90176e5a1049492a7ea2f8a188e5a6"
27 ]
28}