[new release] goblint (2.0.0)#21998

Merged

kit-ty-kate merged 3 commits intoocaml:masterfrom

sim642:release-goblint-v2.0.0

Aug 19, 2022

Commits on Aug 18, 2022

Commits on Aug 19, 2022

Update packages/goblint/goblint.2.0.0/opam
kit-ty-kate
authored