this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model"
3homepage: "https://squirrel-prover.github.io/"
4bug-reports: "https://github.com/squirrel-prover/squirrel-prover/issues"
5maintainer: "Charlie Jacomme <charlie.jacomme@cispa.de>"
6authors: "David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau"
7build: [
8 [make]
9 [make "test"] {with-test}
10 [make "doc"] {with-doc}
11]
12
13depends: [
14 "ocaml" {>= "4.10"}
15 "fmt" {>= "0.8.7"}
16 "ocamlgraph"
17 "alcotest"
18 "menhir" {>= "20180523"}
19 "pcre"
20 "conf-which" {build}
21]
22
23install: [make "PREFIX=%{prefix}%" "install"]
24url {
25 src:
26 "https://github.com/squirrel-prover/squirrel-prover/archive/0.1.tar.gz"
27 checksum: [
28 "md5=656660bb1321baf5bba4542fd6804835"
29 "sha512=5fafc20c2021f92f83819a2b3fe697acbda57d9863c9a902f2094821fd705fa1426abceaa9be6c8c4d2b6187be57b30cf37d7cb77c6b8de01a6c6ece97d77c3c"
30 ]
31}