5 Commits

Author	SHA1	Message	Date
R. Ryantm	0d6c4e0b31	boogie: 3.0.6 -> 3.0.9	2023-12-13 08:18:51 +00:00
R. Ryantm	bef55841a2	boogie: 3.0.5 -> 3.0.6	2023-11-22 08:51:32 -08:00
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