master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z

python313Packages.claripy 9.2.193 single outdated

Python abstraction layer for constraint solvers

Name
python3.13-claripy-9.2.193
Package set
python313Packages
Homepage
https://github.com/angr/claripy
License
BSD-2-Clause
Source
pkgs/development/python-modules/claripy/default.nix:47
Derivation
/nix/store/14z08xj0nrmkpbpmbna2zz9i7f0nqs2f-python3.13-claripy-9.2.193.drv
Repology
outdated, newest version is 9.3.7 · python:claripy (as of 2026-10-08T00:43:59Z)

Maintainers 1

HandleNameContactVia
fabaff Fabian Affolter GitHub · mail@fabian-affolter.ch · @fabaff:matrix.org listed on package

Dependencies 23

PackageAsMaintainersUsed by (transitive)Status
python313 3.13.15 propagatedBuildInputs
mweinelt
 13,660 team-only outdated
python313Packages.cachetools 7.1.4 propagatedBuildInputs
fabaff
 1,533 single outdated
python313Packages.decorator 5.3.1 propagatedBuildInputs
3,968 unmaintained
python313Packages.pysmt 0.9.6 propagatedBuildInputs
fabaff
 4 single
python313Packages.typing-extensions 4.16.0 propagatedBuildInputs
pmiddend
 7,553 single
python313Packages.z3-solver 5.1.0 propagatedBuildInputs
numinit, thoughtpolice
 13 maintained
ensureNewerSourcesForZipFilesHook 26.05pre-git nativeBuildInputs
74,333 unmaintained setup hook
python313Packages.pypaBuildHook 26.05pre-git nativeBuildInputs
11,598 unmaintained setup hook
python313Packages.pypaInstallHook 26.05pre-git nativeBuildInputs
11,625 unmaintained setup hook
python313Packages.pytestCheckHook 26.05pre-git nativeBuildInputs
10,182 unmaintained setup hook
python313Packages.pythonCatchConflictsHook 26.05pre-git nativeBuildInputs
11,609 unmaintained setup hook
python313Packages.pythonImportsCheckHook 26.05pre-git nativeBuildInputs
11,642 unmaintained setup hook
python313Packages.pythonMetadataCheckHook 26.05pre-git nativeBuildInputs
dotlambda
 11,597 single setup hook
python313Packages.pythonNamespacesHook 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
python313Packages.pythonOutputDistHook 26.05pre-git nativeBuildInputs
74,301 unmaintained setup hook
python313Packages.pythonRelaxDepsHook 26.05pre-git nativeBuildInputs
11,601 unmaintained setup hook
python313Packages.pythonRemoveBinBytecodeHook 26.05pre-git nativeBuildInputs
74,321 unmaintained setup hook
python313Packages.pythonRemoveTestsDirHook 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
python313Packages.pythonRuntimeDepsCheckHook 26.05pre-git nativeBuildInputs
11,611 unmaintained setup hook
python313Packages.setuptools 83.0.0 nativeBuildInputs
mweinelt
 11,500 team-only outdated
python313Packages.wrapPython 26.05pre-git nativeBuildInputs
11,634 unmaintained setup hook
bashNonInteractive 5.3p15 other input
andir, balsoft, infinisil, pyrox0
 102,175 maintained outdated
stdenv 26.05pre-git other input
90,063 team-only

Used by 1 directly, 3 transitively

PackageAsMaintainersUsed by (transitive)Status
python313Packages.angr 9.2.193 propagatedBuildInputs
fabaff
 2 single outdated