Weijia Wang da4f6ef486 Merge pull request #232487 from r-ryantm/auto-update/iosevka-bin ... iosevka-bin: 22.1.1 -> 22.1.2		2023-05-18 00:48:38 +03:00
..
applications	isabelle-components.isabelle-linter: add platforms	2023-05-17 23:01:48 +03:00
build-support	Merge pull request #229008 from whonore/dafny-4	2023-05-17 09:53:06 +02:00
common-updater
data	Merge pull request #232487 from r-ryantm/auto-update/iosevka-bin	2023-05-18 00:48:38 +03:00
desktops	Merge pull request #232163 from bobby285271/upd/mate	2023-05-16 12:42:43 -03:00
development	Merge pull request #232494 from r-ryantm/auto-update/python311Packages.google-cloud-pubsub	2023-05-17 23:32:06 +02:00
games	Merge pull request #229008 from whonore/dafny-4	2023-05-17 09:53:06 +02:00
misc	Merge pull request #231714 from NobbZ/betterlockscreen-without-dunst	2023-05-17 07:08:15 +02:00
os-specific	Merge pull request #232438 from K900/kernels-20230517	2023-05-17 11:35:12 -04:00
pkgs-lib
servers	wordpress: update languages and plugins	2023-05-17 18:48:55 +03:00
shells
stdenv
test
tools	goflow2: init at 1.3.3 (#232430)	2023-05-17 15:07:42 -04:00
top-level	Merge pull request #232167 from GaetanLepage/pylsp	2023-05-17 23:22:41 +03:00