nixpkgs/pkgs
Austin Seipp 86c5420a2e nixpkgs: remove z3 4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00
..
applications nixpkgs: remove z3 4.5.0 2018-04-07 23:02:59 -05:00
build-support Merge pull request #37928 from VShell/patch-2 2018-03-28 09:34:41 +01:00
common-updater common-updater: support updating source URL 2018-03-16 23:17:07 +09:00
data emojione: mark linux only 2018-04-05 20:05:20 +02:00
desktops Remove maintainership 2018-04-06 10:57:19 +02:00
development spin: switch back to dropbox mirror 2018-04-07 17:39:54 +02:00
games tome4: aarch64 not supported 2018-04-05 15:10:04 +02:00
misc Remove maintainership 2018-04-06 10:57:19 +02:00
os-specific linuxPackages_custom: fix missing argument and add test 2018-04-07 16:40:25 -05:00
servers Remove maintainership 2018-04-06 10:57:19 +02:00
shells nix-bash-completions: 0.6.4 -> 0.6.5 2018-03-30 13:26:05 +02:00
stdenv meta: Simplify platform check logic 2018-03-27 11:59:59 -04:00
test tree-wide: autorename gnome packages to use dashes 2018-02-25 17:41:16 +01:00
tools Merge pull request #38570 from r-ryantm/auto-update/getmail 2018-04-07 22:52:26 +00:00
top-level nixpkgs: remove z3 4.5.0 2018-04-07 23:02:59 -05:00