Merge pull request #52730 from dtzWill/update/gdb-8.2.1

gdb: 8.2 -> 8.2.1
This commit is contained in:
Will Dietz 2018-12-29 15:47:07 -06:00 committed by GitHub
commit dcfabd82e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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