Merge pull request #34471 from dtzWill/update/gdb-8.1

gdb: 8.0.1 -> 8.1
This commit is contained in:
Daiderd Jordan 2018-02-01 00:38:20 +01:00 committed by GitHub
commit f004802580
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,7 +18,7 @@
let
basename = "gdb-${version}";
version = "8.0.1";
version = "8.1";
in
assert targetPlatform.isHurd -> mig != null && hurd != null;
@ -32,7 +32,7 @@ stdenv.mkDerivation rec {
src = fetchurl {
url = "mirror://gnu/gdb/${basename}.tar.xz";
sha256 = "1qwmcbaxf0jc7yjl0fimgcfj2yqcrl6h7azgs1d838kbwf9mzg9x";
sha256 = "0d2bpqk58fqlx21rbnk8mbcjlggzc9kb5sjirrfrrrjq70ka0qdg";
};
patches = [ ./debug-info-from-env.patch ];