Commit Graph

3 Commits

Author SHA1 Message Date
mdarocha
7006d97373 boogie: 2.15.7 -> 3.0.4
Also add install check to verify all dependencies (ie. z3) work
2023-09-16 16:00:34 +02:00
mdarocha
b0d00352bb boogie: move out of dotnet-packages.nix
dotnet-packages.nix is deprecated and being removed
2023-09-16 16:00:29 +02:00
Anderson Torres
7d3ee72533 bochs: move to by-name hierarchy 2023-09-10 12:43:51 +00:00