/lang/coq/

• ../
• DESCR
• MESSAGE
• Makefile
• PLIST
• PLIST.opt
• distinfo
• patches