anil.recoil.org / opam-repository
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

alt-ergo: add iupper bound on menhir

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>

Marcello Seri c27cdf5b 2c5fec85

+7 -7
+1 -1
packages/alt-ergo-free/alt-ergo-free.2.0.0/opam
··· 30 30 "zarith" {>= "1.4"} 31 31 "camlzip" {< "1.08"} 32 32 "ocplib-simplex" {>= "0.4"} 33 - "menhir" 33 + "menhir" {< "20211215"} 34 34 "conf-autoconf" {build} 35 35 ] 36 36 depopts: [
+1 -1
packages/alt-ergo-free/alt-ergo-free.2.2.0/opam
··· 32 32 "camlzip" 33 33 "ocplib-simplex" {>= "0.4"} 34 34 "psmt2-frontend" {= "0.1" } 35 - "menhir" 35 + "menhir" {< "20211215"} 36 36 "conf-autoconf" {build} 37 37 ] 38 38 depopts: [
+1 -1
packages/alt-ergo/alt-ergo.2.0.0/opam
··· 30 30 "zarith" 31 31 "camlzip" {< "1.08"} 32 32 "ocplib-simplex" {>= "0.4"} 33 - "menhir" 33 + "menhir" {< "20211215"} 34 34 "conf-autoconf" {build} 35 35 ] 36 36 depopts: [
+1 -1
packages/alt-ergo/alt-ergo.2.1.0/opam
··· 30 30 "zarith" 31 31 "camlzip" {< "1.08"} 32 32 "ocplib-simplex" {>= "0.4"} 33 - "menhir" 33 + "menhir" {< "20211215"} 34 34 "conf-autoconf" {build} 35 35 ] 36 36 depopts: [
+1 -1
packages/alt-ergo/alt-ergo.2.2.0/opam
··· 31 31 "camlzip" {< "1.08"} 32 32 "ocplib-simplex" {>= "0.4"} 33 33 "psmt2-frontend" {= "0.1"} 34 - "menhir" 34 + "menhir" {< "20211215"} 35 35 "conf-autoconf" {build} 36 36 ] 37 37 depopts: [
+1 -1
packages/alt-ergo/alt-ergo.2.4.0/opam
··· 15 15 "dune" {>= "2.0"} 16 16 "alt-ergo-lib" {= version} 17 17 "alt-ergo-parsers" {= version} 18 - "menhir" 18 + "menhir" {< "20211215"} 19 19 "cmdliner" 20 20 ] 21 21 dev-repo: "git+https://github.com/OCamlPro/alt-ergo.git"
+1 -1
packages/alt-ergo/alt-ergo.2.4.1/opam
··· 14 14 "dune" {>= "2.0"} 15 15 "alt-ergo-lib" {= version} 16 16 "alt-ergo-parsers" {= version} 17 - "menhir" 17 + "menhir" {< "20211215"} 18 18 "cmdliner" {>= "1.0.0"} 19 19 "odoc" {with-doc} 20 20 ]