summaryrefslogtreecommitdiff
path: root/lang/idris
ModeNameSize
-rw-r--r--DESCR365logplain
-rw-r--r--Makefile2776logplain
-rw-r--r--PLIST66370logplain
-rw-r--r--buildlink3.mk1776logplain
-rw-r--r--distinfo1307logplain
-rw-r--r--options.mk579logplain
d---------patches635logplain