this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "VOCaL -- The Verified OCaml Library"
3description: "VOCaL -- The Verified OCaml Library"
4maintainer: "Mário Pereira <mpereira@lri.fr>"
5authors: [
6 "Arthur Charguéraud"
7 "Martin Clochard"
8 "Jean-Christophe Filliâtre"
9 "Léon Gondelman"
10 "Armaël Guéneau"
11 "Xavier Leroy"
12 "Cláudio Lourenço"
13 "Simão Melo de Sousa"
14 "Andrei Paskevich"
15 "Mário Pereira"
16 "François Pottier"
17]
18license: "MIT"
19homepage: "https://vocal.lri.fr/"
20dev-repo: "git+https://github.com/vocal-project/vocal"
21bug-reports: "https://github.com/vocal-project/vocal/issues"
22doc: "https://github.com/vocal-project/vocal/blob/master/README.md"
23build: [
24 [ "dune" "build" "-p" name ]
25]
26depends: [
27 "dune"
28 "ocaml" {>= "4.07"}
29 "seq"
30]
31url {
32 src: "https://github.com/vocal-project/vocal/archive/0.1.tar.gz"
33 checksum: [
34 "md5=958aa0242ed5abb398bff503b24e6a9f"
35 "sha512=f594f3b422bbbf4888db12ae3a75ed0a9de458a8b9e0dbeafebd0ddd3ace3f21233874817309eac4b5d80f72f778ee92038652b166f2c93d0522b6fda3a2cbeb"
36 ]
37}