Great boogie now depends on .net v8 🎉 https://github.com/boogie-org/boogie/pull/998 Would be great to have a release, so we don't have to build from source.
