Subject: CVS commit: pkgsrc/lang/coq
From: David A. Holland
Date: 2015-12-29 07:22:22
Message id: 20151229062222.20E72FBA5@cvs.NetBSD.org
Log Message:
Sort.
Files:
RevisionActionfile
1.17modifypkgsrc/lang/coq/PLIST