Gabriel Ebner be4d1ca79c Merge pull request #140916 from andersk/lean ... lean: 3.32.1 → 3.33.0		2021-10-08 10:37:22 +02:00
..
applications	Merge pull request #140916 from andersk/lean	2021-10-08 10:37:22 +02:00
build-support	Merge pull request #136719 from r-burns/libgpg-error	2021-10-07 22:24:04 +02:00
common-updater
data	Merge pull request #139554 from NixOS/staging-next	2021-10-05 12:55:59 +01:00
desktops	Merge pull request #140761 from bobby285271/switchboard	2021-10-06 22:50:57 +08:00
development	remkrom: add meta.mainProgram	2021-10-08 03:22:07 -05:00
games	Merge pull request #140804 from OPNA2608/update/supertuxkart/21.11	2021-10-08 00:03:21 +02:00
misc	Merge pull request #140685 from rhoriguchi/vscode-extensions.hashicorp.terraform	2021-10-07 22:25:13 -04:00
os-specific	Merge pull request #140765 from TredwellGit/linux	2021-10-07 23:59:41 +02:00
pkgs-lib
servers	Merge pull request #140750 from yu-re-ka/feature/up-proxy	2021-10-07 22:46:51 +02:00
shells	Merge pull request #140817 from legendofmiracles/fix-hilbish	2021-10-07 23:51:07 +02:00
stdenv
test
tools	Merge pull request #140896 from lovesegfault/nix-unstable-unbreak	2021-10-07 22:03:07 -07:00
top-level	Merge pull request #140896 from lovesegfault/nix-unstable-unbreak	2021-10-07 22:03:07 -07:00