summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-python/minikanren: Stabilize 1.0.3-r1 arm64, #918147Michał Górny2023-11-241-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-python/minikanren: Remove oldMichał Górny2023-08-122-33/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-python/minikanren: Stabilize 1.0.3-r1 ALLARCHES, #912101Sam James2023-08-121-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-python/minikanren: PEP517, py3.12Michał Górny2023-07-082-0/+36
| | | | | Closes: https://bugs.gentoo.org/909922 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-python/minikanren: keyword 1.0.3 for ~loongWANG Xuerui2023-04-161-1/+1
| | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-141-2/+2
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-python/minikanren: enable py3.11Andrew Ammerlaan2022-10-121-1/+1
| | | | Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
* 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>