this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Jean-Christophe.Filliatre@cnrs.fr"
3authors: "Jean-Christophe Filliâtre"
4synopsis: "Flexible arrays"
5description: "Flexible arrays are arrays whose size can be changed by adding or
6removing elements at either end (one at a time)."
7license: "LGPL-2.1-only"
8homepage: "https://github.com/backtracking/flex-array"
9doc: "https://backtracking.github.io/flex-array"
10bug-reports: "https://github.com/backtracking/flex-array/issues"
11depends: [
12 "ocaml"
13 "alcotest" {with-test}
14 "dune" {>= "2.0.0"}
15]
16build: [
17 ["dune" "subst"] {dev}
18 ["dune" "build" "-p" name "-j" jobs]
19 ["dune" "runtest" "-p" name] {with-test}
20]
21dev-repo: "git+https://github.com/backtracking/flex-array.git"
22x-commit-hash: "cfb9488284ab4424726e587e79938661724c688c"
23url {
24 src:
25 "https://github.com/backtracking/flex-array/releases/download/1.2.0/flex-array-1.2.0.tbz"
26 checksum: [
27 "sha256=a20a3c025eb7587c19c175ce66c6a3a6046b0e7d44ce1b3bd6d96beffe052c6a"
28 "sha512=95d32bbb5ab0fde1a29102ba3abdd1b7746910e91c6a0f4148951ccb24e53487aa630eb0858d4251d6f1dae94f4155425ea43cf2201832daab9419d91b6aa2c7"
29 ]
30}