ddsmt: init at 2.0.3

This commit is contained in:
someplaceguy 2024-02-25 11:02:13 +00:00
parent aad08e1a54
commit 42ac57986e

View file

@ -0,0 +1,35 @@
{ lib
, python3Packages
, fetchPypi
}:
let
version = "2.0.3";
in
python3Packages.buildPythonApplication {
pname = "ddsmt";
inherit version;
pyproject = true;
src = fetchPypi {
inherit version;
pname = "ddSMT";
hash = "sha256-nmhEG4sUmgpgRUduVTtwDLGPJVKx+dEaPb+KjFRwV2Q=";
};
nativeBuildInputs = with python3Packages; [
setuptools
];
propagatedBuildInputs = with python3Packages; [
gprof2dot
progressbar
];
meta = {
description = "A delta debugger for SMT benchmarks in SMT-LIB v2";
homepage = "https://ddsmt.readthedocs.io/";
license = with lib.licenses; [ gpl3Plus ];
maintainers = with lib.maintainers; [ AndersonTorres ];
};
}