nixpkgs/pkgs
Vincent Laporte c87714a040 coqPackages.stdpp: 1.4.0 → 1.5.0
coqPackages.iris: 3.3.0 → 3.4.0
2021-04-12 13:58:30 +02:00
..
applications esniper: drop broken and unmaintained package 2021-04-12 10:42:20 +02:00
build-support cc-wrapper: match useGccForLibs conditional order 2021-04-10 10:39:07 -07:00
common-updater
data
desktops Merge pull request #119078 from rhoriguchi/gnomeExtensions.unite 2021-04-11 16:05:13 +02:00
development coqPackages.stdpp: 1.4.0 → 1.5.0 2021-04-12 13:58:30 +02:00
games Merge pull request #119197 from reedrw/r2mod-107 2021-04-12 04:05:34 +02:00
misc Merge pull request #117416 from rvolosatovs/init/deepspeech 2021-04-12 01:05:41 +02:00
os-specific Merge pull request #118792 from Riey/rtl88x2bu 2021-04-12 02:55:14 +02:00
pkgs-lib
servers Merge pull request #119196 from mweinelt/home-assistant_ruckus-unleashed 2021-04-12 03:31:05 +02:00
shells
stdenv
test
tools cri-tools: 1.20.0 -> 1.21.0 2021-04-12 18:49:06 +10:00
top-level esniper: drop broken and unmaintained package 2021-04-12 10:42:20 +02:00