Merge pull request #61545 from jhaasdijk/gdb-8.3

gdb: 8.2.1 -> 8.3
This commit is contained in:
Eelco Dolstra 2019-05-20 13:20:18 +02:00 committed by GitHub
commit 954a342d04
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,7 +13,7 @@
let let
basename = "gdb-${version}"; basename = "gdb-${version}";
version = "8.2.1"; version = "8.3";
in in
assert pythonSupport -> python3 != null; assert pythonSupport -> python3 != null;
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
src = fetchurl { src = fetchurl {
url = "mirror://gnu/gdb/${basename}.tar.xz"; url = "mirror://gnu/gdb/${basename}.tar.xz";
sha256 = "00i27xqawjv282a07i73lp1l02n0a3ywzhykma75qg500wll6sha"; sha256 = "0bnpzz0rl672xg5547q5qck2sxi6cnyixmk8bbb4gifw17ipwbw0";
}; };
patches = [ patches = [