4 Commits

Author	SHA1	Message	Date
R. Ryantm	a4336d795c	boogie: 3.0.4 -> 3.0.5	2023-10-11 12:37:10 +00:00
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