Versions
v1.0.3-r1 :: 0 :: gentoo
- Modified
- License
- BSD
- Keywords
- amd64 arm64 x86 ~arm ~loong ~riscv
- USE flags
- test
USE flags
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_11
- Build with Python 3.11
- python3_12
- Build with Python 3.12
- python3_13
- Build with Python 3.13
Runtime Dependencies
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
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-python/minikanren: Enable py3.13
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-python/minikanren: Stabilize 1.0.3-r1 arm64, #918147
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-python/minikanren: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-python/minikanren: Stabilize 1.0.3-r1 ALLARCHES, #912101
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-python/minikanren: PEP517, py3.12
Closes: https://bugs.gentoo.org/909922 Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - WANG Xuerui · gentoo
dev-python/minikanren: keyword 1.0.3 for ~loong
Signed-off-by: WANG Xuerui <xen0n@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: remove py3.8 from PYTHON_COMPAT
Signed-off-by: David Seifert <soap@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Andrew Ammerlaan · gentoo
dev-python/minikanren: enable py3.11
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-python/minikanren: Remove old
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Jakov Smolić · gentoo
dev-python/minikanren: Stabilize 1.0.3 ALLARCHES, #834191
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> - 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>