Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2018-01-22 12:54:43
Message id: 20180122115443.57131FBDE@cvs.NetBSD.org

Log Message:
Corrected PLIST for lang/coq

Files:
RevisionActionfile
1.25modifypkgsrc/lang/coq/PLIST