Subject: CVS commit: pkgsrc/lang/coq
From: David A. Holland
Date: 2015-12-29 07:22:54
Message id: 20151229062254.BF91FFBA6@cvs.NetBSD.org
Log Message:
pkglint
Files:
RevisionActionfile
1.23modifypkgsrc/lang/coq/distinfo
1.2modifypkgsrc/lang/coq/patches/patch-Makefile.build