Vincent Laporte 442db9429b coq: 8.15.1 → 8.15.2		2022-06-03 10:45:45 +02:00
..
applications	coq: 8.15.1 → 8.15.2	2022-06-03 10:45:45 +02:00
build-support	Merge pull request #175317 from ncfavier/makeBinaryWrapper-cross	2022-06-02 22:27:14 +02:00
common-updater
data
desktops	gnomeExtensions.freon: fix patch for v48, simplify	2022-06-02 22:51:41 +03:00
development	compcert: add support for Coq 8.15.2	2022-06-03 10:45:45 +02:00
games
misc
os-specific	Merge pull request #175183 from trofi/fix-fno-common-for-pommed_light	2022-06-03 05:56:22 +00:00
pkgs-lib
servers	home-assistant: 2022.6.0 -> 2022.6.1	2022-06-03 08:22:16 +02:00
shells	oh-my-zsh: 2022-05-25 -> 2022-06-01 (#175713)	2022-06-01 09:27:36 -04:00
stdenv	Merge master into staging-next	2022-06-02 00:02:21 +00:00
test	Merge pull request #175317 from ncfavier/makeBinaryWrapper-cross	2022-06-02 22:27:14 +02:00
tools	Merge pull request #175258 from trofi/workaround-fno-common-for-super	2022-06-03 05:58:38 +00:00
top-level	Merge pull request #175949 from aaronjheng/go-mk	2022-06-02 21:28:45 -03:00