summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-python/minikanren: Remove oldMichał Górny2022-02-272-33/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-python/minikanren: Stabilize 1.0.3 ALLARCHES, #834191Jakov Smolić2022-02-271-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-python/minikanren: add 1.0.3Arthur Zamarin2022-01-202-0/+33
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-python/minikanren: Stabilize 1.0.2 x86, #830122Arthur Zamarin2021-12-301-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-python/minikanren: Stabilize 1.0.2 amd64, #830122Sam James2021-12-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-python/minikanren: keyword 1.0.2 for ~riscv #828965Alex Fan2021-12-161-1/+1
| | | | | Signed-off-by: Alex Fan <alex.fan.q@gmail.com> Signed-off-by: Yixun Lan <dlan@gentoo.org>
* dev-python/minikanren: Keyword 1.0.2 arm64, #828965Arthur Zamarin2021-12-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-python/minikanren: Keyword 1.0.2 arm, #828965Arthur Zamarin2021-12-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-python/minikanren: Keyword 1.0.2 x86, #828965Arthur Zamarin2021-12-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-python/minikanren: new dep of dev-python/aesara, add 1.0.2Arthur Zamarin2021-12-123-0/+46
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> Signed-off-by: Michał Górny <mgorny@gentoo.org>