10 Commits

Author	SHA1	Message	Date
R. Ryantm	7af1be6d39	boogie: 3.1.3 -> 3.1.4	2024-04-12 00:32:37 +00:00
R. Ryantm	57b7f6f1ba	boogie: 3.1.2 -> 3.1.3	2024-03-15 20:25:31 +00:00
R. Ryantm	ce018184a5	boogie: 3.1.1 -> 3.1.2	2024-03-11 22:31:14 +00:00
R. Ryantm	cbb86599b9	boogie: 3.0.10 -> 3.1.1	2024-03-07 08:07:39 +00:00
R. Ryantm	0d73a93c93	boogie: 3.0.9 -> 3.0.10	2024-01-23 08:02:39 +00:00
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