Vincent Laporte 5f3be6b669 coqPackages.Verdi: enable for Coq 8.12		2020-09-10 22:10:02 +02:00
..
applications	Merge pull request #97678 from RaghavSood/ethereum/1.9.21	2020-09-10 22:08:36 +02:00
build-support	Merge pull request #97387 from Ericson2314/fix-android-prebuilt	2020-09-08 20:24:50 -04:00
common-updater
data	Merge pull request #97308 from romildo/upd.ubuntu-themes	2020-09-08 19:52:06 -04:00
desktops	Merge pull request #97608 from ryneeverett/lxpanel-20.03-zhf	2020-09-09 20:59:57 -04:00
development	coqPackages.Verdi: enable for Coq 8.12	2020-09-10 22:10:02 +02:00
games	instead: 3.3.1 -> 3.3.2; fix compilation	2020-09-09 10:36:06 -07:00
misc	vimPlugins.asyncomplete-vim: init at 2020-08-09	2020-09-08 14:26:58 -07:00
os-specific	linux/hardened/patches/5.8: 5.8.7.a -> 5.8.8.a	2020-09-10 10:36:17 -04:00
pkgs-lib
servers	Merge pull request #94257 from Kloenk/openbgpd	2020-09-10 20:11:17 +02:00
shells	oh-my-zsh: 2020-09-04 -> 2020-09-09	2020-09-10 10:36:17 -04:00
stdenv	Merge pull request #76794 from dudebout/document-nix-env-multiple-output-install-bug	2020-09-05 15:40:26 +02:00
test
tools	Merge pull request #97630 from treed/zhf-rpm-darwin	2020-09-10 20:38:23 +01:00
top-level	Merge pull request #93944 from ericdallo/add-midi-visualizer	2020-09-10 22:08:01 +02:00