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