| 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> | |||
 |
index : gentoo.git | |
| Gentoo ebuild repository mirror. Updates daily. | Xian Wang |
| summaryrefslogtreecommitdiff |
|
index : gentoo.git | |
| Gentoo ebuild repository mirror. Updates daily. | Xian Wang |
| summaryrefslogtreecommitdiff |
| 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> | |||