nixpkgs/pkgs
Austin Seipp da6eec001a nixpkgs: z3 4.3.2 -> 4.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-11 22:10:56 -05:00
..
applications nixpkgs: z3 4.3.2 -> 4.4.0 2015-06-11 22:10:56 -05:00
build-support sourceforge: remove unreachable mirrors 2015-06-11 12:28:46 +02:00
data Update package 'fira-mono' to version 3.203. 2015-06-11 00:07:35 +02:00
desktops goffice: separate from gnome3 2015-06-11 21:13:00 +02:00
development mueval: reapply Nix-specific patch 2015-06-12 03:54:20 +03:00
games chocolate-doom: update from 2.1.0 to 2.2.0 2015-06-10 09:00:47 +02:00
misc bump dolphinEmuMaster, now needs gcc5 to compile 2015-06-09 03:24:18 -07:00
os-specific grsecurity: Update stable and test patches 2015-06-10 18:33:28 +02:00
servers bosun: Update to 0.2.0 2015-06-11 19:55:33 +02:00
shells zsh: update from 5.0.7 to 5.0.8 2015-06-08 12:55:38 +02:00
stdenv Revert "curl: Modernize build" 2015-06-04 14:54:52 +02:00
test
tools thermald: update and adopt 2015-06-12 03:42:29 +03:00
top-level Merge pull request #8283 from eduarrrd/dfilemanager 2015-06-12 01:23:16 +02:00