Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
700 B · 36 lines
Nix
at litex
12345678910111213141516171819202122232425262728293031323334353637{ lib, buildPythonPackage, fetchFromGitHub, pytestCheckHook, pythonOlder}:
buildPythonPackage rec { pname = "pysmt"; version = "0.9.5"; format = "setuptools";
disabled = pythonOlder "3.7";
src = fetchFromGitHub { owner = "pysmt"; repo = pname; rev = "v${version}"; hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM="; };
nativeCheckInputs = [ pytestCheckHook ];
pythonImportsCheck = [ "pysmt" ];
meta = with lib; { description = "Python library for SMT formulae manipulation and solving"; homepage = "https://github.com/pysmt/pysmt"; license = with licenses; [ asl20 ]; maintainers = with maintainers; [ fab ]; };}