this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "alt-ergo@ocamlpro.com"
3authors: "Alt-Ergo developers"
4license: "OCamlPro Non-Commercial License"
5homepage: "http://alt-ergo.ocamlpro.com/"
6bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
7
8build:
9[
10 ["./configure" "-prefix" "%{prefix}%"]
11 [make "satML"]
12]
13
14install:
15[
16 [make "install-satML" "MANDIR=%{man}%/man1"]
17]
18
19remove:
20[
21 ["rm" "%{prefix}%/lib/alt-ergo/plugins/satML-plugin.cmxs"]
22]
23
24depends: [
25 "ocaml"
26 "zarith"
27 "ocamlgraph" {>= "1.8.2"}
28 "alt-ergo" {= "0.99.1"}
29]
30messages: [ "This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements" ]
31synopsis:
32 "Automatic theorem prover based on SMT technology and dedicated to program verification: satML plugin"
33dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
34flags: light-uninstall
35url {
36 src:
37 "http://alt-ergo.ocamlpro.com/http/alt-ergo-0.99.1/alt-ergo-0.99.1.tar.gz"
38 checksum: [
39 "sha256=f5f24f0af60ff5b4a7d054e95bc677befbe708859fafdd5b214a47ed4d71d452"
40 "md5=1fd351547441553a1d8ac543adda6cdb"
41 ]
42}