Commit d7361d9d authored by Fabian Affolter's avatar Fabian Affolter
Browse files

python311Packages.claripy: format with nixfmt

parent d3606244

pkgs/development/python-modules/claripy/default.nix

+15 −20
Original line number Diff line number Diff line 
{ lib

, buildPythonPackage

, cachetools

, decorator

, fetchFromGitHub

, pysmt

, pytestCheckHook

, pythonOlder

, pythonRelaxDepsHook

, setuptools

, z3-solver

{

  lib,

  buildPythonPackage,

  cachetools,

  decorator,

  fetchFromGitHub,

  pysmt,

  pytestCheckHook,

  pythonOlder,

  pythonRelaxDepsHook,

  setuptools,

  z3-solver,

}:



buildPythonPackage rec {
@@ -26,9 +27,7 @@ buildPythonPackage rec { 
  };



  # z3 does not provide a dist-info, so python-runtime-deps-check will fail

  pythonRemoveDeps = [

    "z3-solver"

  ];

  pythonRemoveDeps = [ "z3-solver" ];



  build-system = [

    pythonRelaxDepsHook
@@ -42,13 +41,9 @@ buildPythonPackage rec { 
    z3-solver

  ] ++ z3-solver.requiredPythonModules;



  nativeCheckInputs = [

    pytestCheckHook

  ];

  nativeCheckInputs = [ pytestCheckHook ];



  pythonImportsCheck = [

    "claripy"

  ];

  pythonImportsCheck = [ "claripy" ];



  meta = with lib; {

    description = "Python abstraction layer for constraint solvers";