Johan Forsberg commented on merge request !4 at Johan Forsberg / Boogie

Johan Forsberg
2026-02-27T09:25:13Z

Thanks for this MR!

I have to say I don't really understand the point of building a container for boogie. There are many easy, "native" ways to install it, including uv and conda/pixi. What is the specific use case? Is there some OS where it doesn't work?

Not against adding it, but I would like to know more about the reason :)