GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/gentoo.git
master
Official Gentoo ebuild repository
Infrastructure team <infrastructure@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-python
/
minikanren
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-python/minikanren: PEP517, py3.12
Michał Górny
2023-07-08
2
-0
/
+36
*
dev-python/minikanren: keyword 1.0.3 for ~loong
WANG Xuerui
2023-04-16
1
-1
/
+1
*
*/*: remove py3.8 from PYTHON_COMPAT
David Seifert
2023-01-14
1
-2
/
+2
*
dev-python/minikanren: enable py3.11
Andrew Ammerlaan
2022-10-12
1
-1
/
+1
*
dev-python/minikanren: Remove old
Michał Górny
2022-02-27
2
-33
/
+0
*
dev-python/minikanren: Stabilize 1.0.3 ALLARCHES, #834191
Jakov Smolić
2022-02-27
1
-1
/
+1
*
dev-python/minikanren: add 1.0.3
Arthur Zamarin
2022-01-20
2
-0
/
+33
*
dev-python/minikanren: Stabilize 1.0.2 x86, #830122
Arthur Zamarin
2021-12-30
1
-1
/
+1
*
dev-python/minikanren: Stabilize 1.0.2 amd64, #830122
Sam James
2021-12-28
1
-1
/
+1
*
dev-python/minikanren: keyword 1.0.2 for ~riscv #828965
Alex Fan
2021-12-16
1
-1
/
+1
*
dev-python/minikanren: Keyword 1.0.2 arm64, #828965
Arthur Zamarin
2021-12-13
1
-1
/
+1
*
dev-python/minikanren: Keyword 1.0.2 arm, #828965
Arthur Zamarin
2021-12-13
1
-1
/
+1
*
dev-python/minikanren: Keyword 1.0.2 x86, #828965
Arthur Zamarin
2021-12-13
1
-1
/
+1
*
dev-python/minikanren: new dep of dev-python/aesara, add 1.0.2
Arthur Zamarin
2021-12-12
3
-0
/
+46