search

edwintorok / lintcstubs

OCaml C stub static analyzer
Other
8 stars 1 forks source link

Add constraint on upper version of Goblint #3

Closed Leonidas-from-XIV closed 8 months ago

Leonidas-from-XIV commented 8 months ago

Goblint 2.2 removed Prelude.Ana (and all of Prelude) thus compilation fails with that version.

opam-repository already applied the constraint in the package: https://github.com/ocaml/opam-repository/pull/24423