vocal/vocal.opam at main · raphaelrieuhelft/vocal · GitHub

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
opam-version: "2.0"
name: "vocal"
synopsis: "VOCaL -- The Verified OCaml Library"
description: "VOCaL -- The Verified OCaml Library"
version: "0.1"
maintainer: "Mário Pereira <mpereira@lri.fr>"
authors: [
"Arthur Charguéraud"
"Martin Clochard"
"Jean-Christophe Filliâtre"
"Léon Gondelman"
"Armaël Guéneau"
"Xavier Leroy"
"Cláudio Lourenço"
"Simão Melo de Sousa"
"Andrei Paskevich"
"Mário Pereira"
"François Pottier"
]
license: "MIT"
homepage: "https://vocal.lri.fr/"
dev-repo: "git://github.com/vocal-project/vocal"
bug-reports: "https://github.com/vocal-project/vocal/issues"
doc: "https://github.com/vocal-project/vocal/blob/master/README.md"
build: [
  ["dune" "build" "-p" name "-j" jobs]
  ["dune" "runtest" "-p" name] {with-test}
]
depends: [
  "dune" {>= "2.4.0"}
  "ocaml" {>= "4.07"}
]