nixpkgs/pkgs
2016-12-13 17:53:43 -06:00
..
applications coq_HEAD: Update to the latest commit as of 2016-12-13 2016-12-13 08:09:23 -08:00
build-support linkFarm: prefer local build 2016-12-09 11:26:53 +01:00
data roboto: 2.134 -> 2.135 2016-12-09 10:16:17 -02:00
desktops gnome3*.devhelp: add missing gschemas 2016-12-13 09:18:49 +01:00
development kde5.frameworks: 5.28 -> 5.29 2016-12-13 17:53:43 -06:00
games endless sky: init at 0.9.4 2016-12-11 08:57:35 +01:00
misc urbit: 2016-06-02 -> 0.4 (#20922) 2016-12-13 15:43:02 +01:00
os-specific Merge pull request #21118 from grahamc/fix-rsa-build-failure 2016-12-13 09:15:50 -05:00
servers knot-dns: init at 2.3.3 2016-12-13 15:31:29 +01:00
shells zsh: 5.2 -> 5.3 2016-12-12 17:48:18 -05:00
stdenv top-level: Allow manually specifying a stdenv, and fix stdenv tests 2016-12-03 17:21:07 -08:00
test
tools tigervnc: fix missing Xvnc (xauth) (#21110) 2016-12-13 17:27:23 +01:00
top-level coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00