/lang/idris/

• ../
• DESCR
• Makefile
• buildlink3.mk
• distinfo
• options.mk
• patches