search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
269 stars 35 forks source link

Unbound value Dream.csrf_tag #1004

Closed fblanqui closed 1 year ago

fblanqui commented 1 year ago

Hi @sacerdot . Following #982, I'm trying to make a new release for lambdapi in https://github.com/ocaml/opam-repository/pull/24171 but opam CI fails with: Unbound value Dream.csrf_tag. See https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/e625bc8c254c03ea0aebf0b933ddeef6a9202d1f/variant/compilers,4.14,lambdapi.2.4.0,lower-bounds. Would you know how to fix this?

fblanqui commented 1 year ago

Solved by requiring dream >= 1.0.0~alpha3.