Nick Cao c3c64e4043 Merge pull request #245836 from vbgl/coq-interval-4.8.0 ... coqPackages.interval: 4.7.0 → 4.8.0; coqPackages.coquelicot: 3.3.1 → 3.4.0		2023-07-28 18:22:51 -06:00
..
applications	Merge pull request #245865 from babeuh/master	2023-07-28 18:17:43 -06:00
build-support	writers: use runCommand instead of runCommandNoCC	2023-07-28 00:39:21 -04:00
common-updater
data	Merge pull request #245767 from vbgl/ruwudu-3.000	2023-07-27 19:50:33 -06:00
desktops	Revert "lib.customisation: uncurry makeScopeWithSplicing"	2023-07-28 23:04:09 +02:00
development	Merge pull request #245836 from vbgl/coq-interval-4.8.0	2023-07-28 18:22:51 -06:00
games	Merge pull request #245873 from keenanweaver/doomrunner1.8.0	2023-07-28 23:19:51 +02:00
misc
os-specific	Merge pull request #245906 from stepbrobd/airbuddy	2023-07-28 18:21:10 -06:00
pkgs-lib	Revert "pkgs.formats.toml: fix TOML semantics by upgrading tomlkit"	2023-07-27 18:55:56 +02:00
servers	Merge pull request #245842 from happysalada/update_stalwart	2023-07-28 18:18:44 -06:00
shells	zsh-history-substring-search: 1.0.2 -> 1.1.0	2023-07-28 13:33:31 +02:00
stdenv
test	Merge pull request #245524 from hercules-ci/writeScriptBin-meta.mainProgram	2023-07-27 10:41:20 +02:00
tools	Merge pull request #245903 from name-snrl/qt5ct-1.7	2023-07-29 01:22:54 +03:00
top-level	aliases.nix: add wayfireApplications-unwrapped and wcm	2023-07-28 18:58:20 -03:00