Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-scheme
/
chez-minikanren
Canonical miniKanren implementation (on Chez Scheme)
https://github.com/miniKanren/miniKanren
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
dev-scheme/chez-minikanren/metadata.xml
Commits on 2021-12-13
dev-scheme/chez-minikanren: new package; add version 2018.04.11
59f26fd
Maciej Barć
committed on 2021-12-13 19:48:05 UTC
dev-scheme/chez-minikanren/Manifest
dev-scheme/chez-minikanren/chez-minikanren-2018.04.11.ebuild
dev-scheme/chez-minikanren/metadata.xml
Packages
Ulrich Müller committed on 2022-01-25 18:37:45 UTC