summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
ModeNameSize
-rw-r--r--Manifest927logplain
-rw-r--r--idris2-0.5.1_p20211112.ebuild2513logplain
-rw-r--r--metadata.xml1164logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-06 04:20:17 +0000