Dennis Gosnell 7efd4aa67c tests.coq.overrideCoqDerivation: add test		2022-08-29 14:46:20 +09:00
..
applications	Merge pull request #188553 from marsam/update-lean	2022-08-28 19:42:11 -03:00
build-support	coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation function	2022-08-29 14:41:03 +09:00
common-updater
data	Merge master into haskell-updates	2022-08-29 00:15:34 +00:00
desktops	gnomeExtensions.emoji-selector: 20 -> 22	2022-08-28 15:03:36 +02:00
development	haskell: Add link to current haskell update PR search	2022-08-29 10:46:34 +08:00
games	Merge pull request #188595 from necessarily-equal/update-to-unvanquished-0.53.1	2022-08-28 23:46:38 +02:00
misc	xssproxy: 1.0.1 -> 1.1.0	2022-08-28 13:05:00 +02:00
os-specific	karabiner-elements: init at 14.8.0 (#188129)	2022-08-28 20:59:16 +02:00
pkgs-lib
servers	Merge pull request #188641 from r-ryantm/auto-update/checkSSLCert	2022-08-28 19:25:35 -03:00
shells
stdenv
test	tests.coq.overrideCoqDerivation: add test	2022-08-29 14:46:20 +09:00
tools	fido2luks: mark broken	2022-08-28 20:28:32 -03:00
top-level	coqPackages.mkCoqDerivation: add a coqPackages.lib.overrideCoqDerivation function	2022-08-29 14:41:03 +09:00