Something went wrong. Try again.
lol
Something went wrong. Try again.
1.0 kB · 52 lines
Nix
at master
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253{ lib, buildPythonPackage, cachetools, decorator, fetchFromGitHub, pysmt, pytestCheckHook, setuptools, typing-extensions, z3-solver,}:
buildPythonPackage rec { pname = "claripy"; version = "9.2.193"; pyproject = true;
src = fetchFromGitHub { owner = "angr"; repo = "claripy"; tag = "v${version}"; hash = "sha256-nZ7ORbhi0R79pcHpkx/lRVdfUsoutCqU+zHX8AICTUE="; };
# z3 does not provide a dist-info, so python-runtime-deps-check will fail pythonRemoveDeps = [ "z3-solver" ];
build-system = [ setuptools ];
dependencies = [ cachetools decorator pysmt typing-extensions z3-solver ] ++ z3-solver.requiredPythonModules;
nativeCheckInputs = [ pytestCheckHook ];
pythonImportsCheck = [ "claripy" ];
meta = { description = "Python abstraction layer for constraint solvers"; homepage = "https://github.com/angr/claripy"; license = lib.licenses.bsd2; maintainers = with lib.maintainers; [ fab ]; };}