lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

Published 20 hours ago • verified publisher icon Deducteam

Include tests with why3 in opam package ?

Open fblanqui opened this issue 3 years ago • 0 comments

Currently, the generation of lambdapi.opam from dune-project has been deactivated, and the targets @runtest and @doc removed, because of problems with why3 config detect (see https://gitlab.inria.fr/why3/why3/-/issues/603).

fblanqui avatar Dec 15 '21 08:12 fblanqui