this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "alainmebsout@gmail.com"
3authors: [
4 "Sylvain Conchon"
5 "Alain Mebsout"
6]
7homepage: "http://cubicle.lri.fr"
8license: "Apache-2.0"
9bug-reports: "https://github.com/cubicle-model-checker/cubicle/issues"
10dev-repo: "git+https://github.com/cubicle-model-checker/cubicle.git"
11build: [
12 ["./configure" "--prefix" prefix]
13 [make]
14]
15depends: [
16 ("ocaml" {>= "4.08.0" & < "5.0"} & "num" | "ocaml" {>= "5.0"} & "num" {< "1.5"})
17 "ocamlfind"
18]
19depopts: ["functory"]
20conflicts: [
21 "functory" {< "0.5"}
22]
23synopsis: "SMT based model checker for parameterized systems"
24url {
25 src: "https://github.com/cubicle-model-checker/cubicle/releases/download/1.2.0/cubicle-1.2.0.tar.gz"
26 checksum: "sha256=e6bdbc8d6b8105e77e909e431d1dc6673e4d271bc8b135b35d7731d8fbe7ba0e"
27}
28extra-source "cubicle.install" {
29 src:
30 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/cubicle/cubicle.install"
31 checksum: [
32 "sha256=1f68371039a824a13510315a8917e4c237fa945ffc5bac25882d79eae36f0d03"
33 "md5=ba6d18615d00544948c96638b6c8d900"
34 ]
35}