Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-lang/idris2/Manifest
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/idris2: new package; add version 0.5.1_p20211112Maciej Barć2021-11-271-0/+1