16 Commits

Author	SHA1	Message	Date
R. Ryantm	0e5f46b727	boogie: 3.2.1 -> 3.2.3	2024-08-01 05:32:50 +00:00
R. Ryantm	9b7c656cec	boogie: 3.2.0 -> 3.2.1	2024-07-18 14:28:45 +00:00
R. Ryantm	1e863db8d0	boogie: 3.1.6 -> 3.2.0	2024-07-04 14:37:53 +00:00
Alexis Hildebrandt	755b915a15	treewide: Remove indefinite article from meta.description ... nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"[Aa]n?' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Aa]n? (.)/\1\U\2/'	2024-06-09 23:07:45 +02:00
R. Ryantm	c6e51241a8	boogie: 3.1.5 -> 3.1.6	2024-05-23 13:28:28 +00:00
R. Ryantm	6debd68953	boogie: 3.1.4 -> 3.1.5	2024-04-24 00:31:04 +00:00
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