- Added lower bounds to dependencies (zarith, ocaml-monadic, sha, conf-gmp).
- Fixed ounit2 library for unit tests.
- Disabled kernel regression tests when linux-headers couldn't be downloaded (e.g. in opam-repository opam-ci).
- Fixed dune-site in opam install by requiring dune 2.9.1.
Goblint "fat" release containing 4 years of development. This version is functionally equivalent to Goblint in SV-COMP 2022.