22 Commits

Author	SHA1	Message	Date
David McFarland	bfaca46529	dotnet-sdk/runtime/aspnetcore: 6.0 -> 8.0	2024-11-17 18:35:19 -04:00
David McFarland	6e919bf975	boogie: format with nixfmt	2024-11-17 14:19:25 -04:00
R. Ryantm	52deb99a18	boogie: 3.2.4 -> 3.2.5	2024-09-27 21:42:07 +00:00
David McFarland	f072fe536e	boogie: disable parallel builds	2024-09-17 01:12:10 -03:00
nicoo	2641d97cbf	pkgs/by-name: Convert hashes to SRI format ... Reproduction script: # Bulk rewrite ./maintainers/scripts/sha-to-sri.py pkgs/by-name # Revert some packages which will need manual intervention for n in amdvlk azure-cli cargo-profiler corefonts flatito fluxcd gist perf_data_converter protoc-gen-js solana-cli swt verible; do git checkout -- "pkgs/by-name/${n:0:2}/${n}" done	2024-09-15 11:24:31 +02:00
R. Ryantm	941cc5b522	boogie: 3.2.3 -> 3.2.4	2024-08-17 07:55:30 +00:00
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