-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
29 lines (29 loc) · 889 Bytes
/
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
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
"Arthur Charguéraud <arthur.chargueraud@inria.fr>"
"Émilie Guermeur <then at Inria>"
"François Pottier <francois.pottier@inria.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/sek"
dev-repo: "git+https://gitlab.inria.fr/fpottier/sek.git"
bug-reports: "francois.pottier@inria.fr"
build: [
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml" { >= "4.03" }
"dune" { >= "2.0" }
"cppo"
"pprint" { >= "20200410" }
"seq"
]
synopsis: "An efficient implementation of ephemeral and persistent sequences"
url {
src:
"https://gitlab.inria.fr/fpottier/sek/-/archive/20200618/archive.tar.gz"
checksum: [
"md5=cf541b6d254a5b76c600ce9b46452569"
"sha512=3a75ac74022234141f8423200070058a7b843e55a5db6bce3a311422e533e70ced956383926d819260e0b2cd06e3cdee340b656265c34e94f9cd0aa3bfbbab4f"
]
}