dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #179984 from fabaff/pysmt-bump

Browse Source 
python310Packages.pysmt: 0.9.1.dev132 -> 0.9.5
This commit is contained in:
Fabian Affolter 2022-07-05 08:17:31 +02:00 committed by GitHub
commit da99f4350d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
pkgs/development/python-modules/pysmt/default.nix
View File

@ -1,23 +1,31 @@
{ lib
, buildPythonPackage
, fetchPypi
, fetchFromGitHub
, pytestCheckHook
, pythonOlder
}:
buildPythonPackage rec {
pname = "pysmt";
version = "0.9.1.dev132";
format = "wheel"; # dev versions are only distributed as wheels
version = "0.9.5";
format = "setuptools";
src = fetchPypi {
pname = "PySMT";
inherit format version;
sha256 = "01iqs7yzms3alf1rdv0gnsnmfp7g8plkjcdqbari258zp4llf6x7";
disabled = pythonOlder "3.7";
src = fetchFromGitHub {
owner = "pysmt";
repo = pname;
rev = "v${version}";
hash = "sha256-cE+WmKzggYof/olxQb5M7xPsBONr39KdjOTG4ofYPUM=";
};
# No tests present, only GitHub release which is 0.9.0
doCheck = false;
checkInputs = [
pytestCheckHook
];
pythonImportsCheck = [ "pysmt" ];
pythonImportsCheck = [
"pysmt"
];
meta = with lib; {
description = "Python library for SMT formulae manipulation and solving";