index
:
gentoo.git
master
stable
Gentoo ebuild repository mirror. Updates daily.
Xian Wang
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-lang
/
idris2
/
files
Age
Commit message (
Collapse
)
Author
2023-12-27
dev-lang/idris2: bump to 0.7.0
Maciej Barć
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
