nixpkgs/pkgs
Arseniy Seroka a158f61313 Merge pull request #12092 from gebner/metis-20160101
metis-prover: 2.3 -> 2.3.20160101
2016-01-03 00:34:32 +03:00
..
applications metis-prover: 2.3 -> 2.3.20160101 2016-01-02 16:04:03 +01:00
build-support update-walker: add a minimal description 2016-01-01 19:07:38 +01:00
data Merge pull request #12088 from rycee/bump/fira-code 2016-01-02 13:46:16 +01:00
desktops gnome-boxes, libguestfs: fix builds due to libvirt 2015-12-28 21:44:12 +00:00
development omake: Fix broken download URL 2016-01-02 18:21:48 +01:00
games tibia: 10.81 -> 10.90 2016-01-01 03:57:55 +00:00
misc cups-pk-helper: init at 0.2.5 2016-01-01 23:33:11 +01:00
os-specific linux-testing: 4.4.0-rc6 -> 4.4.0-rc7 2016-01-02 17:56:03 +01:00
servers owncloud 7.0.11 -> 7.0.12 2016-01-02 09:10:54 +01:00
shells Merge master into staging 2015-12-23 18:57:35 +01:00
stdenv stdenvBootstrapTools.x86_64-darwin: unbreak 2015-12-28 16:59:37 -05:00
test
tools system-config-printer: remove bad /usr/bin reference in dbus service file 2016-01-02 22:04:52 +01:00
top-level policykit: remove the package obsoleted by polkit 2016-01-02 09:02:06 +01:00