@@ -15,7 +15,7 @@
1515
1616let
1717 # The binaries are following the argr projects release cycle
18− version = "9.0.9792";
18+ version = "9.0.9947";
1919
2020 # Binary files from https://github.com/angr/binaries (only used for testing and only here)
2121 binaries = fetchFromGitHub {
@@ -35,7 +35,7 @@ buildPythonPackage rec {
3535 owner = "angr";
3636 repo = pname;
3737 rev = "v${version}";
38− sha256 = "sha256-lCRZj0/L/XNcnJNiLxPY2mCFZowV6hLEpHOEiCsyQ/0=";
38+ sha256 = "sha256-xlzc5Bde/OFlGJe9e4qb7QSszWyINJkQfEzY0wTaKD0=";
3939 };
4040
4141 propagatedBuildInputs = [