this repo has no description

add remaining upper bounds to menhir

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

Changed files
+54 -54
packages
binsec
binsec.0.4.0
catala
catala.0.2.0
clarity-lang
clarity-lang.0.1.0
edn
edn.0.1.6-1-gff9db95
electrod
electrod.0.2.3
electrod.0.3.2
fsml
fsml.0.3.0
kind2
kind2.1.3.0
kind2.1.3.1
kind2.1.4.0
kind2.1.5.0
kind2.1.5.1
liquidsoap
liquidsoap.1.4.0
liquidsoap.1.4.1
liquidsoap.1.4.1-1
liquidsoap.1.4.1-2
liquidsoap.1.4.2
liquidsoap.1.4.3
liquidsoap.1.4.4
liquidsoap.2.0.0~rc1
lua_parser
lua_parser.1.0.0
mc2
mc2.0.1
minimal
minimal.1.0.0
nmea
nmea.0.1.2
nmea.0.1.5
nuscr
nuscr.2.0.0
odate
odate.0.6
ollvm
ollvm.0.99
ollvm-tapir
ollvm-tapir.0.99.1
p4pp
p4pp.0.1.4
psmt2-frontend
psmt2-frontend.0.1
psmt2-frontend.0.2
pyast
pyast.0.1.0
pyast.0.1.1
rfsm
rfsm.1.0
rfsm.1.4.2
rfsm.1.5
rfsm.1.6-alpha-3
rfsm.1.6.0
rfsm.1.7.0
sail
sail.0.13
sail.0.14
sgf
sgf.1.0
shapefile
shapefile.0.2.1
smtlib-utils
smtlib-utils.0.1
smtlib-utils.0.2
smtlib-utils.0.3
smtlib-utils.0.3.1
sqlgg
sqlgg.0.4.4
sqlgg.0.4.5
sqlgg.20200521
systemverilog
systemverilog.0.0.2
webidl
webidl.1.3
webidl.1.4
+1 -1
packages/binsec/binsec.0.4.0/opam
···
depends: [
"dune" {>= "2.8"}
"ocaml" {>= "4.08" & < "4.14"}
-
"menhir" {build & >= "20181113"}
+
"menhir" {build & >= "20181113" & < "20211215"}
"ocamlgraph" {>= "1.8.5"}
"zarith" {>= "1.4"}
"dune-site"
+1 -1
packages/catala/catala.0.2.0/opam
···
"ocaml" {>= "4.08.0"}
"ANSITerminal" {>= "0.8.2"}
"sedlex" {>= "2.1"}
-
"menhir" {>= "20200211"}
+
"menhir" {>= "20200211" & < "20211215"}
"menhirLib" {>= "20200211"}
"unionFind" {>= "20200320"}
"bindlib" {>= "5.0.1"}
+1 -1
packages/clarity-lang/clarity-lang.0.1.0/opam
···
depends: [
"dune" {>= "2.7"}
"alcotest" {with-test}
-
"menhir" {>= "20200624"}
+
"menhir" {>= "20200624" & < "20211215"}
"num" {>= "1.3"}
"cppo" {build}
"odoc" {with-doc}
+1 -1
packages/edn/edn.0.1.6-1-gff9db95/opam
···
depends: [
"ocaml" {>= "4.02.0"}
"dune"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"ounit" {with-test}
]
synopsis: "Parsing OCaml library for EDN format"
+1 -1
packages/electrod/electrod.0.2.3/opam
···
"gen"
"hashcons"
"logs"
-
"menhir"
+
"menhir" {< "20211215"}
"mtime"
"ppx_inline_test" {< "v0.15"}
"printbox"
+1 -1
packages/electrod/electrod.0.3.2/opam
···
"gen"
"hashcons"
"logs"
-
"menhir"
+
"menhir" {< "20211215"}
"mtime"
"ppx_inline_test" {< "v0.15"}
"printbox"
+1 -1
packages/fsml/fsml.0.3.0/opam
···
"dune" {>= "2.6"}
"ppxlib" {>= "0.13.0"}
"ppx_deriving_yojson" {>= "3.5.3"}
-
"menhir" {>= "20200624"}
+
"menhir" {>= "20200624" & < "20211215"}
"ocaml" {>= "4.10"}
]
build: [
+1 -1
packages/kind2/kind2.1.3.0/opam
···
"ocaml" {>= "4.07"}
"dune" {>= "2.0"}
"dune-build-info"
-
"menhir"
+
"menhir" {< "20211215"}
"num"
"odoc" {with-doc}
"ounit2" {with-test}
+1 -1
packages/kind2/kind2.1.3.1/opam
···
"ocaml" {>= "4.07"}
"dune" {>= "2.0"}
"dune-build-info"
-
"menhir"
+
"menhir" {< "20211215"}
"num"
"odoc" {with-doc}
"ounit2" {with-test}
+1 -1
packages/kind2/kind2.1.4.0/opam
···
"ocaml" {>= "4.07"}
"dune" {>= "2.0"}
"dune-build-info"
-
"menhir"
+
"menhir" {< "20211215"}
"num"
"odoc" {with-doc}
"ounit2" {with-test}
+1 -1
packages/kind2/kind2.1.5.0/opam
···
"ocaml" {>= "4.09"}
"dune" {>= "2.7"}
"dune-build-info"
-
"menhir"
+
"menhir" {< "20211215"}
"num"
"odoc" {with-doc}
"ounit2" {with-test}
+1 -1
packages/kind2/kind2.1.5.1/opam
···
"ocaml" {>= "4.09"}
"dune" {>= "2.7"}
"dune-build-info"
-
"menhir"
+
"menhir" {< "20211215"}
"num"
"odoc" {with-doc}
"ounit2" {with-test}
+1 -1
packages/liquidsoap/liquidsoap.1.4.0/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.1-1/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.1-2/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.1/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.2/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.3/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0" & < "0.9.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"pcre"
+1 -1
packages/liquidsoap/liquidsoap.1.4.4/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.1"}
"duppy" {>= "0.8.0"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.5.0" & < "0.6.0"}
"ocamlfind" {build}
"conf-pkg-config" {build}
+1 -1
packages/liquidsoap/liquidsoap.2.0.0~rc1/opam
···
"camomile" {>= "1.0.0"}
"dtools" {>= "0.4.4"}
"duppy" {>= "0.9.1"}
-
"menhir" {>= "20180703"}
+
"menhir" {>= "20180703" & < "20211215"}
"mm" {>= "0.7.0"}
"ocamlfind" {build}
"conf-pkg-config" {build}
+1 -1
packages/lua_parser/lua_parser.1.0.0/opam
···
bug-reports: "https://github.com/drjdn/ocaml_lua_parser/issues"
depends: [
"dune" {>= "2.5"}
-
"menhir" {>= "20200624"}
+
"menhir" {>= "20200624" & < "20211215"}
"sexp_pretty" {>= "v0.14.0"}
"sexplib" {>= "v0.14.0"}
"ppx_sexp_conv" {>= "v0.14.1"}
+1 -1
packages/mc2/mc2.0.1/opam
···
depends: [
"ocaml" {>= "4.03.0"}
"zarith" { >= "1.9" }
-
"menhir"
+
"menhir" {< "20211215"}
"containers" { >= "3.0" & < "4.0" }
"iter" { >= "1.0" }
"smtlib-utils" { >= "0.1" & < "0.3" }
+1 -1
packages/minimal/minimal.1.0.0/opam
···
depends: [
"ocaml" {>= "4.05.0"}
"jbuilder"
-
"menhir" {build & >= "20170418"}
+
"menhir" {build & >= "20170418" & < "20211215"}
]
synopsis: "Minima.l, a minimal Lisp"
description: "Minimalist Lisp interpreter."
+1 -1
packages/nmea/nmea.0.1.2/opam
···
depends: [
"ocaml" {>= "4.05.0"}
"dune" {>= "2.5.0"}
-
"menhir" {>= "20200211"}
+
"menhir" {>= "20200211" & < "20211215"}
"ounit" {with-test & >= "2.0.8"}
"odoc" {with-test & >= "1.3.0"}
]
+1 -1
packages/nmea/nmea.0.1.5/opam
···
depends: [
"ocaml" {>= "4.05.0"}
"dune" {>= "2.5.0"}
-
"menhir" {>= "20200211"}
+
"menhir" {>= "20200211" & < "20211215"}
"ounit" {with-test & >= "2.0.8"}
"odoc" {with-test & >= "1.3.0"}
]
+1 -1
packages/nuscr/nuscr.2.0.0/opam
···
bug-reports: "https://github.com/nuscr/nuscr/issues"
depends: [
"ocaml" {>= "4.08"}
-
"menhir" {>= "20190924"}
+
"menhir" {>= "20190924" & < "20211215"}
"ppx_deriving" {>= "5.2"}
"dune" {>= "2.8"}
"base" {>= "v0.12.0"}
+1 -1
packages/odate/odate.0.6/opam
···
depends: [
"ocaml" {>= "4.07.0"}
"dune" {>= "2.2"}
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"base-unix"
"ppx_expect" {with-test}
]
+1 -1
packages/ollvm-tapir/ollvm-tapir.0.99.1/opam
···
depends: [
"ocaml" {>= "4.02"}
"ocamlfind" {build}
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
]
depopts: "llvm"
conflicts: [
+1 -1
packages/ollvm/ollvm.0.99/opam
···
depends: [
"ocaml" {>= "4.01.0"}
"ocamlfind" {build}
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
]
conflicts: [ "llvm" { != "3.5" } ]
depopts: [ "llvm" ]
+1 -1
packages/p4pp/p4pp.0.1.4/opam
···
depends: [
"ocaml" {>= "4.09.0"}
"dune" {>= "1.2"}
-
"menhir"
+
"menhir" {< "20211215"}
"core" {>= "v0.13.0" & < "v0.15"}
]
url {
+1 -1
packages/psmt2-frontend/psmt2-frontend.0.1/opam
···
"ocaml" {>= "4.04.0"}
"ocamlfind" {build}
"conf-autoconf" {build}
-
"menhir"
+
"menhir" {< "20211215"}
]
synopsis:
"A library to parse and type-check a conservative extension of the SMT-LIB 2"
+1 -1
packages/psmt2-frontend/psmt2-frontend.0.2/opam
···
"ocaml" {>= "4.04.0"}
"ocamlfind" {build}
"conf-autoconf" {build}
-
"menhir"
+
"menhir" {< "20211215"}
]
synopsis:
+1 -1
packages/pyast/pyast.0.1.0/opam
···
"cmdliner" {>= "1.0.4"}
"redirect" {>= "0.2.0"}
"stdcompat" {>= "10"}
-
"menhir" {>= "20210419"}
+
"menhir" {>= "20210419" & < "20211215"}
"pattern" {with-test & >= "0.3.0"}
"alcotest" {with-test & >= "1.4.0"}
"conf-python-3-dev" {with-test}
+1 -1
packages/pyast/pyast.0.1.1/opam
···
"cmdliner" {>= "1.0.4"}
"redirect" {>= "0.2.0"}
"stdcompat" {>= "10"}
-
"menhir" {>= "20210419"}
+
"menhir" {>= "20210419" & < "20211215"}
"pattern" {with-test & >= "0.3.0"}
"alcotest" {with-test & >= "1.4.0"}
"conf-python-3-dev" {with-test}
+1 -1
packages/rfsm/rfsm.1.0/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"ocamlgraph"
-
"menhir"
+
"menhir" {< "20211215"}
"lascar" {< "0.6.0"}
]
synopsis:
+1 -1
packages/rfsm/rfsm.1.4.2/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"ocamlgraph"
-
"menhir"
+
"menhir" {< "20211215"}
"lascar" {< "0.6.0"}
]
synopsis:
+1 -1
packages/rfsm/rfsm.1.5/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"ocamlgraph"
-
"menhir"
+
"menhir" {< "20211215"}
"lascar" {< "0.6.0"}
]
synopsis:
+1 -1
packages/rfsm/rfsm.1.6-alpha-3/opam
···
bug-reports: "jocelyn.serot@uca.fr"
depends: [
"dune" {>= "1.11"}
-
"menhir" {>= "2.0"}
+
"menhir" {>= "2.0" & < "20211215"}
"ocaml" {>= "4.06"}
"ocamlgraph"
"lascar" {= "0.6-alpha"}
+1 -1
packages/rfsm/rfsm.1.6.0/opam
···
bug-reports: "jocelyn.serot@uca.fr"
depends: [
"dune" {>= "1.11"}
-
"menhir" {>= "2.0"}
+
"menhir" {>= "2.0" & < "20211215"}
"lascar" {>= "0.6.0"}
"ocamlgraph" {>= "1.8"}
"ocaml" {>= "4.08"}
+1 -1
packages/rfsm/rfsm.1.7.0/opam
···
bug-reports: "jocelyn.serot@uca.fr"
depends: [
"dune" {>= "2.6"}
-
"menhir" {>= "2.0"}
+
"menhir" {>= "2.0" & < "20211215"}
"lascar" {>= "0.7"}
"ocamlgraph" {>= "1.8"}
"ocaml" {>= "4.10"}
+1 -1
packages/sail/sail.0.13/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"zarith"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"linenoise" {>= "1.1.0"}
"ott" {>= "0.28" & build}
"lem" {>= "2018-12-14"}
+1 -1
packages/sail/sail.0.14/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"zarith"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"linenoise" {>= "1.1.0"}
"ott" {>= "0.28" & build}
"lem" {>= "2018-12-14"}
+1 -1
packages/sgf/sgf.1.0/opam
···
"ocaml" {>= "4.02.0"}
"ocamlfind" {build}
"sedlex" {< "2.0"}
-
"menhir"
+
"menhir" {< "20211215"}
"rresult"
"ocamlbuild" {build}
]
+1 -1
packages/shapefile/shapefile.0.2.1/opam
···
"dune" {>= "1.0"}
"bitstring" {>= "4.0.0"}
"ppx_bitstring" {>= "4.0.0"}
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
]
url {
src: "https://github.com/cyril-allignol/ocaml-shapefile/archive/v0.2.1.tar.gz"
+1 -1
packages/smtlib-utils/smtlib-utils.0.1/opam
···
"dune" { >= "1.1" }
"base-bytes"
"result"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"odoc" {with-doc}
"ocaml" { >= "4.03.0" }
]
+1 -1
packages/smtlib-utils/smtlib-utils.0.2/opam
···
"dune" { >= "1.1" }
"base-bytes"
"result"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"odoc" {with-doc}
"ocaml" { >= "4.03.0" }
]
+1 -1
packages/smtlib-utils/smtlib-utils.0.3.1/opam
···
"dune" { >= "1.1" }
"base-bytes"
"result"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"odoc" {with-doc}
"ocaml" { >= "4.03.0" }
]
+1 -1
packages/smtlib-utils/smtlib-utils.0.3/opam
···
"dune" { >= "1.1" }
"base-bytes"
"result"
-
"menhir" {build}
+
"menhir" {build & < "20211215"}
"odoc" {with-doc}
"ocaml" { >= "4.03.0" }
]
+1 -1
packages/sqlgg/sqlgg.0.4.4/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"mybuild" {build}
-
"menhir"
+
"menhir" {< "20211215"}
"ppx_deriving"
("extlib" | "extlib-compat")
"base-unix"
+1 -1
packages/sqlgg/sqlgg.0.4.5/opam
···
"ocamlfind" {build}
"ocamlbuild" {build}
"mybuild" {build}
-
"menhir"
+
"menhir" {< "20211215"}
"ppx_deriving"
("extlib" | "extlib-compat")
"base-unix"
+1 -1
packages/sqlgg/sqlgg.20200521/opam
···
depends: [
"ocaml" {>= "4.02.0"}
"dune" {>= "2.0"}
-
"menhir"
+
"menhir" {< "20211215"}
"mybuild"
"ppx_deriving"
("extlib" | "extlib-compat")
+1 -1
packages/systemverilog/systemverilog.0.0.2/opam
···
bug-reports: "https://github.com/xguerin/ocaml-systemverilog/issues"
depends: [
"dune" {>= "2.5"}
-
"menhir" {>= "20170418"}
+
"menhir" {>= "20170418" & < "20211215"}
]
build: [
["dune" "subst"] {dev}
+1 -1
packages/webidl/webidl.1.3/opam
···
"ocamlfind" {build & >= "1.7.1"}
"ocamlbuild" {build & >= "0.9.3"}
"ppx_deriving" {>= "4.1"}
-
"menhir" {build & >= "20170607"}
+
"menhir" {build & >= "20170607" & < "20211215"}
]
synopsis: "Web IDL parser"
description: """
+1 -1
packages/webidl/webidl.1.4/opam
···
"ocamlfind" {build & >= "1.7.1"}
"ocamlbuild" {build & >= "0.9.3"}
"ppx_deriving" {>= "4.1"}
-
"menhir" {build & >= "20170607"}
+
"menhir" {build & >= "20170607" & < "20211215"}
]
synopsis: "Web IDL parser"
description: """