75 Commits

Author	SHA1	Message	Date
Nick Cao	28fbf9a98f	Merge pull request #331463 from r-ryantm/auto-update/boogie ... boogie: 3.2.1 -> 3.2.3	2024-08-04 09:24:25 -04:00
R. Ryantm	0e5f46b727	boogie: 3.2.1 -> 3.2.3	2024-08-01 05:32:50 +00:00
R. Ryantm	f43ee06993	boxbuddy: 2.2.8 -> 2.2.9	2024-07-31 10:43:33 +00:00
K900	8e7a098243	speechd: introduce minimal variant, use it everywhere	2024-07-26 15:48:11 +03:00
Peder Bergebakken Sundt	d10159501f	Merge pull request #328191 from r-ryantm/auto-update/boogie ... boogie: 3.2.0 -> 3.2.1	2024-07-25 03:33:53 +02:00
R. Ryantm	9c076eb615	bonsai: 1.1.0 -> 1.2.0	2024-07-22 22:39:00 +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
Aleksana	77442ec334	Merge pull request #247991 from foolnotion/boilr ... boilr: init at 1.9.4	2024-06-28 22:31:26 +08:00
Bogdan Burlacu	bbe8b15088	boilr: init at 1.9.4	2024-06-26 17:07:58 +02:00
Fabián Heredia Montiel	95323b9db6	Merge pull request #322116 from r-ryantm/auto-update/bombsquad ... bombsquad: 1.7.35 -> 1.7.36	2024-06-25 00:53:55 -06:00
R. Ryantm	774f8d8077	bombsquad: 1.7.35 -> 1.7.36	2024-06-24 06:37:14 +00:00
aleksana	12af9eb0d1	boxbuddy: 2.2.5 -> 2.2.8	2024-06-24 12:50:38 +08:00
Ben Siraphob	8222aa9278	Merge pull request #315183 from jopejoe1/fix-pname ... treewide: replace name with pname	2024-06-16 12:34:01 +00:00
Vladimír Čunát	9d428a5276	Merge #316075: staging-next 2024-05-31	2024-06-12 18:48:53 +02:00
R. Ryantm	8849c317ad	boxbuddy: 2.2.4 -> 2.2.5	2024-06-12 00:41:26 +00:00
Alyssa Ross	3df6bb2c85	Merge remote-tracking branch 'origin/master' into staging-next ... Conflicts: pkgs/applications/blockchains/polkadot/default.nix	2024-06-09 22:47:12 +01:00
Alexis Hildebrandt	f8c4a98e8e	treewide: Remove the definite article from meta.description ... nix run nixpkgs#silver-searcher -- -G '\.nix$' -0l 'description.*"([Tt]he)? ' pkgs \ | xargs -0 nix run nixpkgs#gnused -- -i '' -Ee 's/(description.*")[Tt]he (.)/\1\U\2/'	2024-06-09 23:08:46 +02: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
github-actions[bot]	4ace29447c	Merge master into staging-next	2024-06-07 00:02:15 +00:00
jopejoe1	32ce85880b	bombsquad: use pname instead of name	2024-06-05 20:42:11 +02:00
Coutinho de Souza	d2cef6437c	bonsai: make use of hareHook	2024-06-04 20:33:03 -03:00
Coutinho de Souza	8e0140c676	bonsai: format with nixfmt-rfc-style	2024-06-04 20:33:02 -03:00
github-actions[bot]	77347136f6	Merge staging-next into staging	2024-05-28 18:02:01 +00:00
Pol Dellaiera	a94c97f599	Merge pull request #313805 from Mrmaxmeier/bombsquad-fix-update-script ... bombsquad: 1.7.34 -> 1.7.35	2024-05-28 18:29:21 +02:00
github-actions[bot]	7537b40813	Merge staging-next into staging	2024-05-26 18:01:42 +00:00
Aleksana	1447e05590	Merge pull request #309418 from ckiee/boehm-qemu-user-aarch64 ... boehmgc: disable tests on aarch64-linux	2024-05-24 18:54:01 +08:00
R. Ryantm	c6e51241a8	boogie: 3.1.5 -> 3.1.6	2024-05-23 13:28:28 +00:00
Mrmaxmeier	0a62517649	bombsquad: 1.7.34 -> 1.7.35 ... Changelog: https://ballistica.net/downloads?display=changelog	2024-05-23 00:08:59 +02:00
Mrmaxmeier	dcb4b77bf9	bombsquad: fix updater script	2024-05-23 00:08:59 +02:00
Tiago Dinis	f497bacfa0	bombsquad: add coffeeispower maintainer	2024-05-19 15:47:53 +01:00
R. Ryantm	8e04dcc391	boxbuddy: 2.2.3 -> 2.2.4	2024-05-18 13:02:16 +00:00
Syed Ahkam	022ab91f56	bombsquad: init at 1.7.34	2024-05-15 22:03:22 +05:30
ckie	14c3b26610	boehmgc: disable tests on aarch64-linux ... double whammy!	2024-05-06 04:20:13 +03:00
Weijia Wang	94b668263b	Merge pull request #306423 from r-ryantm/auto-update/boogie ... boogie: 3.1.4 -> 3.1.5	2024-05-04 14:58:35 +02:00
R. Ryantm	7a8090275f	boxbuddy: 2.2.2 -> 2.2.3	2024-05-04 04:10:41 +00:00
R. Ryantm	6debd68953	boogie: 3.1.4 -> 3.1.5	2024-04-24 00:31:04 +00:00
Vladimír Čunát	62da21bd8f	Merge #288435: boehmgc: 8.2.4 -> 8.2.6 ... ...into staging	2024-04-22 11:30:49 +02:00
R. Ryantm	7af1be6d39	boogie: 3.1.3 -> 3.1.4	2024-04-12 00:32:37 +00:00
R. Ryantm	e237a0ef26	boxbuddy: 2.2.0 -> 2.2.2	2024-04-04 21:47:14 +00:00
aleksana	6bad74edaf	boxbuddy: 2.1.5 -> 2.2.0	2024-04-01 10:49:28 +08:00
R. Ryantm	28be04a060	boxbuddy: 2.1.4 -> 2.1.5	2024-03-27 19:55:18 +00:00
R. Ryantm	ec3c6e104e	boehmgc: 8.2.4 -> 8.2.6	2024-03-20 23:06:27 +01:00
R. Ryantm	57b7f6f1ba	boogie: 3.1.2 -> 3.1.3	2024-03-15 20:25:31 +00:00
R. Ryantm	2ccfd07079	boxbuddy: 2.1.3 -> 2.1.4	2024-03-14 00:31:51 +00:00
Pol Dellaiera	f783f57ee2	Merge pull request #295224 from Aleksanaa/boxbuddy ... boxbuddy: init at 2.1.3	2024-03-12 21:34:55 +01:00
aleksana	57bf0bf753	boxbuddy: init at 2.1.3	2024-03-12 13:08:20 +08:00
R. Ryantm	ce018184a5	boogie: 3.1.1 -> 3.1.2	2024-03-11 22:31:14 +00:00
R. Ryantm	957c826abe	bochs: 2.7 -> 2.8	2024-03-10 12:24:08 +00:00
Weijia Wang	66b5ec6e7b	Merge pull request #292127 from atorres1985-contrib/boehmgc ... boehmgc: migrate to by-name	2024-03-08 20:19:53 +01:00