Versions
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
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_8
- Build with Python 3.8
- python3_9
- Build with Python 3.9
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
Depending packages
dev-python / aesara : Library for operating on mathematical expressions with multi-dimensional arrays
Change logs
- 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>