b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

python3packages.pysmt: 0.9.0 -> 0.9.1.dev132

Browse source
This commit is contained in:
Fabian Affolter 2021-05-24 01:11:10 +02:00
parent 421b5d8967
commit 1274ba1572
1 changed files with 9 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
pkgs/development/python-modules/pysmt/default.nix
View file

@ -1,28 +1,21 @@
{ lib
, buildPythonPackage
, fetchFromGitHub
, nose
, pytestCheckHook
, six
, fetchPypi
}:
buildPythonPackage rec {
pname = "pysmt";
version = "0.9.0";
version = "0.9.1.dev132";
format = "wheel"; # dev versions are only distributed as wheels
src = fetchFromGitHub {
owner = pname;
repo = pname;
rev = "v${version}";
sha256 = "051j36kpz11ik9bhvp5jgxzc3h7f18i1pf5ssdhjwyabr0n0zra3";
src = fetchPypi {
pname = "PySMT";
inherit format version;
sha256 = "01iqs7yzms3alf1rdv0gnsnmfp7g8plkjcdqbari258zp4llf6x7";
};
propagatedBuildInputs = [ six ];
checkInputs = [
nose
pytestCheckHook
];
# No tests present, only GitHub release which is 0.9.0
doCheck = false;
pythonImportsCheck = [ "pysmt" ];