this repo has no description
Merge pull request #26609 from bclement-ocp/release-alt-ergo-v2.6.0
[new release] alt-ergo (4 packages) (2.6.0)
authored by
Marcello Seri
and committed by
GitHub
9b6dde22
b468e917
+232
+70
packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam
+70
packages/alt-ergo-lib/alt-ergo-lib.2.6.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "The Alt-Ergo SMT prover library"
3
+
description: """
4
+
This is the core library used in the Alt-Ergo SMT solver.
5
+
6
+
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
7
+
8
+
See more details on http://alt-ergo.ocamlpro.com/"""
9
+
maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
10
+
authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
11
+
homepage: "https://alt-ergo.ocamlpro.com/"
12
+
doc: "https://ocamlpro.github.io/alt-ergo"
13
+
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
14
+
depends: [
15
+
"ocaml" {>= "4.08.1"}
16
+
"dune" {>= "3.14"}
17
+
"dune-build-info"
18
+
"dolmen" {>= "0.10"}
19
+
"dolmen_type" {>= "0.10"}
20
+
"dolmen_loop" {>= "0.10"}
21
+
"ocplib-simplex" {>= "0.5.1"}
22
+
"zarith" {>= "1.11"}
23
+
"seq"
24
+
"fmt" {>= "0.9.0"}
25
+
"stdlib-shims"
26
+
"ppx_blob" {>= "0.7.2"}
27
+
"ppx_deriving"
28
+
"camlzip" {>= "1.07"}
29
+
"odoc" {with-doc}
30
+
"ppx_deriving"
31
+
"qcheck" {with-test & = "0.22"}
32
+
]
33
+
conflicts: [
34
+
"ppxlib" {< "0.30.0"}
35
+
"result" {< "1.5"}
36
+
]
37
+
build: [
38
+
["dune" "subst"] {dev}
39
+
[
40
+
"dune"
41
+
"build"
42
+
"-p"
43
+
name
44
+
"-j"
45
+
jobs
46
+
"--promote-install-files=false"
47
+
"@install"
48
+
"@runtest" {with-test}
49
+
"@doc" {with-doc}
50
+
]
51
+
["dune" "install" "-p" name "--create-install-files" name]
52
+
]
53
+
dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
54
+
# This part comes from the template. Please edit alt-ergo-lib.opam.template
55
+
# and not alt-ergo-lib.opam which is generated by dune
56
+
tags: "org:OCamlPro"
57
+
58
+
license: [
59
+
"LicenseRef-OCamlpro-Non-Commercial"
60
+
"Apache-2.0"
61
+
]
62
+
url {
63
+
src:
64
+
"https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"
65
+
checksum: [
66
+
"sha256=1269311af25278a466892ba878cc888ba59f177f53dd03f12a2c623b03fcf37e"
67
+
"sha512=8a841e1f295e889fa9cb95aa4021bbb481d73279e99512c2afb3510e1f6c9d367113ee6bd3a90bc51111fa3e766a302633e9d5d18fde7660b139cd19a271eb23"
68
+
]
69
+
}
70
+
x-commit-hash: "af8193ed37e039010ed60486ac88bbbfbdec9614"
+56
packages/alt-ergo-parsers/alt-ergo-parsers.2.6.0/opam
+56
packages/alt-ergo-parsers/alt-ergo-parsers.2.6.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "The Alt-Ergo SMT prover parser library"
3
+
description: """
4
+
This is the parser library used in the Alt-Ergo SMT solver.
5
+
6
+
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
7
+
8
+
See more details on http://alt-ergo.ocamlpro.com/"""
9
+
maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
10
+
authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
11
+
homepage: "https://alt-ergo.ocamlpro.com/"
12
+
doc: "https://ocamlpro.github.io/alt-ergo"
13
+
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
14
+
depends: [
15
+
"ocaml" {>= "4.08.1"}
16
+
"dune" {>= "3.14"}
17
+
"alt-ergo-lib" {= version}
18
+
"psmt2-frontend" {>= "0.4"}
19
+
"menhir"
20
+
"stdlib-shims"
21
+
"odoc" {with-doc}
22
+
]
23
+
build: [
24
+
["dune" "subst"] {dev}
25
+
[
26
+
"dune"
27
+
"build"
28
+
"-p"
29
+
name
30
+
"-j"
31
+
jobs
32
+
"--promote-install-files=false"
33
+
"@install"
34
+
"@runtest" {with-test}
35
+
"@doc" {with-doc}
36
+
]
37
+
["dune" "install" "-p" name "--create-install-files" name]
38
+
]
39
+
dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
40
+
# This part comes from the template. Please edit alt-ergo-parsers.opam.template
41
+
# and not alt-ergo-parsers.opam which is generated by dune
42
+
tags: "org:OCamlPro"
43
+
44
+
license: [
45
+
"LicenseRef-OCamlpro-Non-Commercial"
46
+
"Apache-2.0"
47
+
]
48
+
url {
49
+
src:
50
+
"https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"
51
+
checksum: [
52
+
"sha256=1269311af25278a466892ba878cc888ba59f177f53dd03f12a2c623b03fcf37e"
53
+
"sha512=8a841e1f295e889fa9cb95aa4021bbb481d73279e99512c2afb3510e1f6c9d367113ee6bd3a90bc51111fa3e766a302633e9d5d18fde7660b139cd19a271eb23"
54
+
]
55
+
}
56
+
x-commit-hash: "af8193ed37e039010ed60486ac88bbbfbdec9614"
+51
packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam
+51
packages/alt-ergo-plugin-ab-why3/alt-ergo-plugin-ab-why3.2.6.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "An experimental Why3 frontend for Alt-Ergo"
3
+
description: """
4
+
An experimental front-end that parses a subset of Why3's logic. More
5
+
precisely, this front-end targets proof obligations generated by the
6
+
Atelier-B framework in Why3 format. It should be used with a prelude
7
+
defining the B Set theory."""
8
+
maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
9
+
authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
10
+
license: "LGPL-2.1-only"
11
+
homepage: "https://alt-ergo.ocamlpro.com/"
12
+
doc: "https://ocamlpro.github.io/alt-ergo"
13
+
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
14
+
depends: [
15
+
"dune" {>= "3.14"}
16
+
"alt-ergo" {= version}
17
+
"alt-ergo-lib" {= version}
18
+
"alt-ergo-parsers" {= version}
19
+
"odoc" {with-doc}
20
+
]
21
+
build: [
22
+
["dune" "subst"] {dev}
23
+
[
24
+
"dune"
25
+
"build"
26
+
"-p"
27
+
name
28
+
"-j"
29
+
jobs
30
+
"--promote-install-files=false"
31
+
"@install"
32
+
"@runtest" {with-test}
33
+
"@doc" {with-doc}
34
+
]
35
+
["dune" "install" "-p" name "--create-install-files" name]
36
+
]
37
+
dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
38
+
# This part comes from the template. Please edit
39
+
# alt-ergo-plugin-ab-why3.opam.template and not alt-ergo-plugin-ab-why3.opam
40
+
# which is generated by dune
41
+
42
+
conflicts: [ "ocaml-option-bytecode-only" ]
43
+
url {
44
+
src:
45
+
"https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"
46
+
checksum: [
47
+
"sha256=1269311af25278a466892ba878cc888ba59f177f53dd03f12a2c623b03fcf37e"
48
+
"sha512=8a841e1f295e889fa9cb95aa4021bbb481d73279e99512c2afb3510e1f6c9d367113ee6bd3a90bc51111fa3e766a302633e9d5d18fde7660b139cd19a271eb23"
49
+
]
50
+
}
51
+
x-commit-hash: "af8193ed37e039010ed60486ac88bbbfbdec9614"
+55
packages/alt-ergo/alt-ergo.2.6.0/opam
+55
packages/alt-ergo/alt-ergo.2.6.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "The Alt-Ergo SMT prover"
3
+
description: """
4
+
Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
5
+
6
+
See more details on https://alt-ergo.ocamlpro.com/"""
7
+
maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
8
+
authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
9
+
homepage: "https://alt-ergo.ocamlpro.com/"
10
+
doc: "https://ocamlpro.github.io/alt-ergo"
11
+
bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
12
+
depends: [
13
+
"ocaml" {>= "4.08.1"}
14
+
"dune" {>= "3.14"}
15
+
"alt-ergo-lib" {= version}
16
+
"alt-ergo-parsers" {= version}
17
+
"menhir"
18
+
"dune-site"
19
+
"cmdliner" {>= "1.1.0"}
20
+
"odoc" {with-doc}
21
+
]
22
+
build: [
23
+
["dune" "subst"] {dev}
24
+
[
25
+
"dune"
26
+
"build"
27
+
"-p"
28
+
name
29
+
"-j"
30
+
jobs
31
+
"--promote-install-files=false"
32
+
"@install"
33
+
"@runtest" {with-test}
34
+
"@doc" {with-doc}
35
+
]
36
+
["dune" "install" "-p" name "--create-install-files" name]
37
+
]
38
+
dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
39
+
# This part comes from the template. Please edit alt-ergo.opam.template
40
+
# and not alt-ergo.opam which is generated by dune
41
+
tags: "org:OCamlPro"
42
+
43
+
license: [
44
+
"LicenseRef-OCamlpro-Non-Commercial"
45
+
"Apache-2.0"
46
+
]
47
+
url {
48
+
src:
49
+
"https://github.com/OCamlPro/alt-ergo/releases/download/v2.6.0/alt-ergo-2.6.0.tbz"
50
+
checksum: [
51
+
"sha256=1269311af25278a466892ba878cc888ba59f177f53dd03f12a2c623b03fcf37e"
52
+
"sha512=8a841e1f295e889fa9cb95aa4021bbb481d73279e99512c2afb3510e1f6c9d367113ee6bd3a90bc51111fa3e766a302633e9d5d18fde7660b139cd19a271eb23"
53
+
]
54
+
}
55
+
x-commit-hash: "af8193ed37e039010ed60486ac88bbbfbdec9614"