From 198692ae5289d4b673d4ddbe0c5a179e69db27ca Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Tue, 18 Feb 2020 15:38:20 +0100 Subject: [PATCH 1/9] release Alt-Ergo-lib 2.3.1 --- packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam | 36 +++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam new file mode 100644 index 000000000000..619dbcbddf5f --- /dev/null +++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "alt-ergo-lib" +version: "2.3.1" +authors: "Alt-Ergo developers" +maintainer: "OCamlPro " +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" + "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=d42d07a6ad2cf9791d688b204a6fd9cb" +} From d703058e9b9d3e356d5e642970de6994d7ceb355 Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Tue, 18 Feb 2020 15:38:50 +0100 Subject: [PATCH 2/9] release Alt-Ergo-parsers 2.3.1 --- .../alt-ergo-parsers.2.3.1/opam | 36 +++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam new file mode 100644 index 000000000000..317dd90e3a4d --- /dev/null +++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "alt-ergo-parsers" +version: "2.3.1" +authors: "Alt-Ergo developers" +maintainer: "OCamlPro " +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" + "alt-ergo-lib" { = "2.3.0" } + "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=d42d07a6ad2cf9791d688b204a6fd9cb" +} \ No newline at end of file From 4527f6632a8fdcfe6563897c8e6a9af7b4c37864 Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Tue, 18 Feb 2020 15:38:58 +0100 Subject: [PATCH 3/9] release Alt-Ergo 2.3.1 --- packages/alt-ergo/alt-ergo.2.3.1/opam | 31 +++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 packages/alt-ergo/alt-ergo.2.3.1/opam diff --git a/packages/alt-ergo/alt-ergo.2.3.1/opam b/packages/alt-ergo/alt-ergo.2.3.1/opam new file mode 100644 index 000000000000..2568f0b230df --- /dev/null +++ b/packages/alt-ergo/alt-ergo.2.3.1/opam @@ -0,0 +1,31 @@ +opam-version: "2.0" +name: "alt-ergo" +version: "2.3.1" +authors: "Alt-Ergo developers" +maintainer: "OCamlPro " +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"} + "alt-ergo-lib" { = "2.3.0" } + "alt-ergo-parsers" { = "2.3.0" } +] +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=d42d07a6ad2cf9791d688b204a6fd9cb" +} \ No newline at end of file From e70e0801a58638fe5183efa930be384210ba8dad Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Tue, 18 Feb 2020 15:39:09 +0100 Subject: [PATCH 4/9] release Altgr-Ergo 2.3.1 --- packages/altgr-ergo/altgr-ergo.2.3.1/opam | 36 +++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 packages/altgr-ergo/altgr-ergo.2.3.1/opam diff --git a/packages/altgr-ergo/altgr-ergo.2.3.1/opam b/packages/altgr-ergo/altgr-ergo.2.3.1/opam new file mode 100644 index 000000000000..20542b1ab747 --- /dev/null +++ b/packages/altgr-ergo/altgr-ergo.2.3.1/opam @@ -0,0 +1,36 @@ +opam-version: "2.0" +name: "altgr-ergo" +version: "2.3.1" +authors: "Alt-Ergo developers" +maintainer: "OCamlPro " +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" + "lablgtk" + "conf-gtksourceview" + "alt-ergo-lib" { = "2.3.0" } + "alt-ergo-parsers" { = "2.3.0" } +] +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=d42d07a6ad2cf9791d688b204a6fd9cb" +} From 70fbecd2da1d555a84c6bddfe6a9741ed72bca64 Mon Sep 17 00:00:00 2001 From: Albin Coquereau Date: Wed, 19 Feb 2020 11:33:27 +0100 Subject: [PATCH 5/9] Update checksum for new archive corresponding on latest fixes --- packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam | 2 +- packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam | 2 +- packages/alt-ergo/alt-ergo.2.3.1/opam | 2 +- packages/altgr-ergo/altgr-ergo.2.3.1/opam | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam index 619dbcbddf5f..f1b96abac4f9 100644 --- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam +++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam @@ -32,5 +32,5 @@ 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=d42d07a6ad2cf9791d688b204a6fd9cb" + checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" } diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam index 317dd90e3a4d..aae6a91356b1 100644 --- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam +++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam @@ -32,5 +32,5 @@ 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=d42d07a6ad2cf9791d688b204a6fd9cb" + checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" } \ No newline at end of file diff --git a/packages/alt-ergo/alt-ergo.2.3.1/opam b/packages/alt-ergo/alt-ergo.2.3.1/opam index 2568f0b230df..7b7879deb579 100644 --- a/packages/alt-ergo/alt-ergo.2.3.1/opam +++ b/packages/alt-ergo/alt-ergo.2.3.1/opam @@ -27,5 +27,5 @@ 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=d42d07a6ad2cf9791d688b204a6fd9cb" + checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" } \ No newline at end of file diff --git a/packages/altgr-ergo/altgr-ergo.2.3.1/opam b/packages/altgr-ergo/altgr-ergo.2.3.1/opam index 20542b1ab747..aaceb2c8b9e9 100644 --- a/packages/altgr-ergo/altgr-ergo.2.3.1/opam +++ b/packages/altgr-ergo/altgr-ergo.2.3.1/opam @@ -32,5 +32,5 @@ 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=d42d07a6ad2cf9791d688b204a6fd9cb" + checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" } From 35da76153859320bea72d4afa9c20b9f54ba7ad0 Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 25 Feb 2020 16:59:32 +0000 Subject: [PATCH 6/9] alt-ergo-lib.2.3.1: Fix dune constraints and remove unnecessary fields --- packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam index f1b96abac4f9..b728c2812b5c 100644 --- a/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam +++ b/packages/alt-ergo-lib/alt-ergo-lib.2.3.1/opam @@ -1,6 +1,4 @@ opam-version: "2.0" -name: "alt-ergo-lib" -version: "2.3.1" authors: "Alt-Ergo developers" maintainer: "OCamlPro " license: "OCamlPro Non-Commercial Purpose License, version 1" @@ -11,7 +9,7 @@ build: [ ] depends: [ "ocaml" {>="4.04.0"} - "dune" + "dune" {>= "1.5"} "num" "ocplib-simplex" {>= "0.4" } "zarith" From 647ffbd82587ff822df1fb5ef93bc71428d4fadd Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 25 Feb 2020 17:00:31 +0000 Subject: [PATCH 7/9] alt-ergo-parser.2.3.1: Fix dependency constraints and remove unnecessary fields --- packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam index aae6a91356b1..d5fa8df32b12 100644 --- a/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam +++ b/packages/alt-ergo-parsers/alt-ergo-parsers.2.3.1/opam @@ -1,6 +1,4 @@ opam-version: "2.0" -name: "alt-ergo-parsers" -version: "2.3.1" authors: "Alt-Ergo developers" maintainer: "OCamlPro " license: "OCamlPro Non-Commercial Purpose License, version 1" @@ -11,8 +9,8 @@ build: [ ] depends: [ "ocaml" {>="4.04.0"} - "dune" - "alt-ergo-lib" { = "2.3.0" } + "dune" {>= "1.5"} + "alt-ergo-lib" { = version } "psmt2-frontend" { >= "0.2" } "camlzip" "menhir" @@ -33,4 +31,4 @@ url { src: "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz" checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" -} \ No newline at end of file +} From 9c658afe90226a11d16962f59ee010f39759f725 Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 25 Feb 2020 17:01:38 +0000 Subject: [PATCH 8/9] alt-ergo.2.3.1: Fix constraints and remove unnecessary fields --- packages/alt-ergo/alt-ergo.2.3.1/opam | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/packages/alt-ergo/alt-ergo.2.3.1/opam b/packages/alt-ergo/alt-ergo.2.3.1/opam index 7b7879deb579..acb2e46dcc5a 100644 --- a/packages/alt-ergo/alt-ergo.2.3.1/opam +++ b/packages/alt-ergo/alt-ergo.2.3.1/opam @@ -1,6 +1,4 @@ opam-version: "2.0" -name: "alt-ergo" -version: "2.3.1" authors: "Alt-Ergo developers" maintainer: "OCamlPro " license: "OCamlPro Non-Commercial Purpose License, version 1" @@ -10,9 +8,10 @@ build: [ ["dune" "build" "-p" name "-j" jobs] ] depends: [ - "ocaml" {>="4.04.0"} - "alt-ergo-lib" { = "2.3.0" } - "alt-ergo-parsers" { = "2.3.0" } + "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" @@ -28,4 +27,4 @@ url { src: "http://alt-ergo.ocamlpro.com/http/alt-ergo-2.3.1/alt-ergo-2.3.1.tar.gz" checksum: "md5=a0e9dda8f17c1f4f03119badd24d1bf5" -} \ No newline at end of file +} From fda16da614c3798a724350f717e6940332562df0 Mon Sep 17 00:00:00 2001 From: Kate Date: Tue, 25 Feb 2020 17:02:49 +0000 Subject: [PATCH 9/9] altgr-ergo.2.3.1: Fix dependency constraints and remove unnecessary fields --- packages/altgr-ergo/altgr-ergo.2.3.1/opam | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/packages/altgr-ergo/altgr-ergo.2.3.1/opam b/packages/altgr-ergo/altgr-ergo.2.3.1/opam index aaceb2c8b9e9..875282fa1f2d 100644 --- a/packages/altgr-ergo/altgr-ergo.2.3.1/opam +++ b/packages/altgr-ergo/altgr-ergo.2.3.1/opam @@ -1,6 +1,4 @@ opam-version: "2.0" -name: "altgr-ergo" -version: "2.3.1" authors: "Alt-Ergo developers" maintainer: "OCamlPro " license: "OCamlPro Non-Commercial Purpose License, version 1" @@ -10,12 +8,12 @@ build: [ ["dune" "build" "-p" name "-j" jobs] ] depends: [ - "ocaml" {>="4.04.0"} - "dune" + "ocaml" {>= "4.04.0"} + "dune" {>= "1.5"} "lablgtk" "conf-gtksourceview" - "alt-ergo-lib" { = "2.3.0" } - "alt-ergo-parsers" { = "2.3.0" } + "alt-ergo-lib" { = version } + "alt-ergo-parsers" { = version } ] homepage: "http://alt-ergo.ocamlpro.com/" dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"