Upgrade locked opam dependencies

goblint / analyzer

Static analysis framework for C

https://goblint.in.tum.de

MIT License

160 stars 72 forks source link

Open sim642 opened 1 week ago

sim642 commented 1 week ago

This is on top of #1496.

It's been a while since we've last upgraded our locked opam dependencies.

[ ] Fix Gobview. I don't know what the issue is, it works for me locally at least.
[ ] Update Gobview lock file (https://github.com/goblint/gobview/pull/48).