dev-python / minikanren

Relational programming in Python

Official package sites : https://github.com/pythological/kanren/ · https://pypi.org/project/miniKanren/ ·

v1.0.3 :: 0 :: gentoo

Modified
License
BSD
Keywords
~amd64 ~arm ~arm64 ~riscv ~x86
USE flags
test

v1.0.2 :: 0 :: gentoo

Modified
License
BSD
Keywords
amd64 x86 ~arm ~arm64 ~riscv
USE flags
test

General

test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

python_targets

python3_10
Build with Python 3.10
python3_8
Build with Python 3.8
python3_9
Build with Python 3.9

dev-lang / python : An interpreted, interactive, object-oriented programming language

dev-python / cons : Implementation of Lisp/Scheme-like cons in Python

dev-python / etuples : Python S-expression emulation using tuple-like objects

dev-python / logical-unification : Logical unification in Python

dev-python / multipledispatch : Multiple dispatch

dev-python / toolz : List processing tools and functional utilities

dev-python / aesara : Library for operating on mathematical expressions with multi-dimensional arrays

Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/minikanren: add 1.0.3
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/minikanren: Stabilize 1.0.2 x86, #830122
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-python/minikanren: Stabilize 1.0.2 amd64, #830122
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alex Fan · gentoo
dev-python/minikanren: keyword 1.0.2 for ~riscv #828965
Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/minikanren: Keyword 1.0.2 arm64, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-python/minikanren: Keyword 1.0.2 arm, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/minikanren: Keyword 1.0.2 x86, #828965
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-python/minikanren: new dep of dev-python/aesara, add 1.0.2
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> Signed-off-by: Michał Górny <mgorny@gentoo.org>