Will Dietz 2019-09-20 23:07:30 -05:00
parent b54065a5f6
commit d1f7bb2ad9
No known key found for this signature in database
GPG key ID: EBB0EA4124809D02

View file

@ -13,7 +13,7 @@
let
basename = "gdb-${version}";
version = "8.3";
version = "8.3.1";
in
assert pythonSupport -> python3 != null;
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
src = fetchurl {
url = "mirror://gnu/gdb/${basename}.tar.xz";
sha256 = "0bnpzz0rl672xg5547q5qck2sxi6cnyixmk8bbb4gifw17ipwbw0";
sha256 = "1i2pjwaafrlz7wqm40b4znr77ai32rjsxkpl2az38yyarpbv8m8y";
};
postPatch = if stdenv.isDarwin then ''