| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-08-11 | dev-lang/idris2: fix idris2 api install with [-minimal]; use dot-a.eclass | Maciej Barć |
 |
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 (Expand) | Author |
|---|---|---|
| 2025-08-11 | dev-lang/idris2: fix idris2 api install with [-minimal]; use dot-a.eclass | Maciej Barć |