anchor.diff:  , etuples
   , fetchFromGitHub
   , filelock
  +, jax
  +, jaxlib
   , logical-unification
   , minikanren
   , numba
  
positive.code:     owner = "aesara-devs";
      repo = "aesara";
      rev = "refs/tags/rel-${version}";
      hash = "sha256-NJxklOpIbSbi/SB/rafBNllpnNb1yWLVpyB2f/U0i78=";
    };
  
    nativeBuildInputs = [
  
negative.code:   ];
  
    checkInputs = [
      jax
      jaxlib
      numba
      numba-scipy
      pytestCheckHook
  