python3Packages.minikanren: fix, cleanup

This commit is contained in:
Gaetan Lepage
2026-07-10 22:18:23 +00:00
parent 792815c4ed
commit a26dc104b5
@@ -2,27 +2,35 @@
lib,
buildPythonPackage,
fetchFromGitHub,
toolz,
cons,
multipledispatch,
etuples,
logical-unification,
py,
pytestCheckHook,
pytest-html,
# build-system
setuptools,
setuptools-scm,
# dependencies
cons,
etuples,
logical-unification,
multipledispatch,
toolz,
typing-extensions,
# tests
py,
pytest-html,
pytestCheckHook,
}:
buildPythonPackage rec {
buildPythonPackage (finalAttrs: {
pname = "minikanren";
version = "1.0.5";
pyproject = true;
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "pythological";
repo = "kanren";
tag = "v${version}";
tag = "v${finalAttrs.version}";
hash = "sha256-lCQ0mKT99zK5A74uoo/9bP+eFdm3MC43Fh8+P2krXrs=";
};
@@ -32,17 +40,18 @@ buildPythonPackage rec {
];
dependencies = [
toolz
cons
multipledispatch
etuples
logical-unification
multipledispatch
toolz
typing-extensions
];
nativeCheckInputs = [
py
pytestCheckHook
pytest-html
pytestCheckHook
];
pytestFlags = [
@@ -55,8 +64,8 @@ buildPythonPackage rec {
meta = {
description = "Relational programming in Python";
homepage = "https://github.com/pythological/kanren";
changelog = "https://github.com/pythological/kanren/releases/tag/${src.tag}";
changelog = "https://github.com/pythological/kanren/releases/tag/${finalAttrs.src.tag}";
license = lib.licenses.bsd3;
maintainers = with lib.maintainers; [ Etjean ];
};
}
})