Merge master into staging-next

This commit is contained in:
github-actions[bot]
2022-09-22 00:03:22 +00:00
committed by GitHub
65 changed files with 14198 additions and 8436 deletions
@@ -16,7 +16,7 @@
let
# The binaries are following the argr projects release cycle
version = "9.2.18";
version = "9.2.19";
# Binary files from https://github.com/angr/binaries (only used for testing and only here)
binaries = fetchFromGitHub {
@@ -38,7 +38,7 @@ buildPythonPackage rec {
owner = "angr";
repo = pname;
rev = "v${version}";
hash = "sha256-hg6G07rSPRFGBaJdJduDqb7BVGt/sZtCA4I0Hhl4wfw=";
hash = "sha256-uwCSgq7l5VByN1YPuqdnvj2ImV/rb8Xn7dz1p7EvrdQ=";
};
nativeBuildInputs = [