/
opam
48 lines (44 loc) · 1.14 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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
opam-version: "2.0"
maintainer: "llamp@seas.upenn.edu"
synopsis: "Randomized Property-Based Testing Plugin for Coq"
homepage: "https://github.com/QuickChick/QuickChick"
dev-repo: "git+https://github.com/QuickChick/QuickChick.git"
bug-reports: "https://github.com/QuickChick/QuickChick/issues"
license: "MIT"
build: [ make "-j" jobs ]
install: [
[make "-j" jobs "install" ]
]
depends: [
"ocaml" {>= "4.07"}
"coq" {>= "8.11" < "8.15~"}
"coq-ext-lib"
"coq-mathcomp-ssreflect"
"ocamlbuild"
"ocamlfind"
"menhir" {build}
"coq-simple-io"
]
authors: [
"Leonidas Lampropoulos <>"
"Zoe Paraskevopoulou <>"
"Maxime Denes <>"
"Catalin Hritcu <>"
"Benjamin Pierce <>"
"Li-yao Xia <>"
"Arthur Azevedo de Amorim <>"
"Yishuai Li <>"
"Antal Spector-Zabusky <>"
]
tags: [
"keyword:extraction"
"category:Miscellaneous/Coq Extensions"
"logpath:QuickChick"
]
url {
src: "https://github.com/QuickChick/QuickChick/archive/v1.5.1.tar.gz"
checksum: [
"md5=c30f9df9cec8ca99b52883330fc87ab5"
"sha512=5ade0d3d44b64aa44b8ba67e3f097b74a75c41599cfd46dd1b8953fca356138d383273ff26bc6cf1a81db2d9d06384e78613981c1f9f9c137dba7e94d7d69ca7"
]
}