Release Alt-Ergo 2.3.1 (all packages)

packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam

@@ -0,0 +1,34 @@
+opam-version: "2.0"
+authors: "Alt-Ergo developers"
+maintainer: "OCamlPro <[email protected]>"
+license: "OCamlPro Non-Commercial Purpose License, version 1"
+build: [
+  ["./configure" name]
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+]
+depends: [
+  "ocaml" {>="4.04.0"}
+  "dune" {>= "1.5"}
+  "num"
+  "ocplib-simplex" {>= "0.4" }
+  "zarith"
+  "seq"
+]
+homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+
+synopsis: "The Alt-Ergo SMT prover library"
+description:
+"This is the core library used in the Alt-Ergo SMT solver.
+
+Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
+
+See more details on http://alt-ergo.ocamlpro.com/"
+
+url {
+  src:
+    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+  checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
+}

packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam

@@ -0,0 +1,34 @@
+opam-version: "2.0"
+authors: "Alt-Ergo developers"
+maintainer: "OCamlPro <[email protected]>"
+license: "OCamlPro Non-Commercial Purpose License, version 1"
+build: [
+  ["./configure" name]
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+]
+depends: [
+  "ocaml" {>="4.04.0"}
+  "dune" {>= "1.5"}
+  "alt-ergo-lib" { = version }
+  "psmt2-frontend" { >= "0.2" }
+  "camlzip"
+  "menhir"
+]
+homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+
+synopsis: "The Alt-Ergo SMT prover parser library"
+description:
+"This is the parser library used in the Alt-Ergo SMT solver.
+
+Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
+
+See more details on http://alt-ergo.ocamlpro.com/"
+
+url {
+  src:
+    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+  checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
+}

packages/alt-ergo/alt-ergo.2.3.1/opam

@@ -0,0 +1,30 @@
+opam-version: "2.0"
+authors: "Alt-Ergo developers"
+maintainer: "OCamlPro <[email protected]>"
+license: "OCamlPro Non-Commercial Purpose License, version 1"
+build: [
+  ["./configure" name]
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+]
+depends: [
+  "ocaml" {>= "4.04.0"}
+  "dune" {>= "1.5"}
+  "alt-ergo-lib" { = version }
+  "alt-ergo-parsers" { = version }
+]
+homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+
+synopsis: "The Alt-Ergo SMT prover"
+description:
+"Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
+
+See more details on http://alt-ergo.ocamlpro.com/"
+
+url {
+  src:
+    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+  checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
+}

packages/altgr-ergo/altgr-ergo.2.3.1/opam

@@ -0,0 +1,34 @@
+opam-version: "2.0"
+authors: "Alt-Ergo developers"
+maintainer: "OCamlPro <[email protected]>"
+license: "OCamlPro Non-Commercial Purpose License, version 1"
+build: [
+  ["./configure" name]
+  ["dune" "subst"] {pinned}
+  ["dune" "build" "-p" name "-j" jobs]
+]
+depends: [
+  "ocaml" {>= "4.04.0"}
+  "dune" {>= "1.5"}
+  "lablgtk"
+  "conf-gtksourceview"
+  "alt-ergo-lib" { = version }
+  "alt-ergo-parsers" { = version }
+]
+homepage: "http://alt-ergo.ocamlpro.com/"
+dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
+
+synopsis: "The Alt-Ergo SMT prover (graphical interface)"
+description:
+"Altgr-Ergo is the graphical interface for the Alt-Ergo SMT prover.
+
+Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
+
+See more details on http://alt-ergo.ocamlpro.com/"
+
+url {
+  src:
+    "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz"
+  checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5"
+}