Subject: CVS commit: pkgsrc/lang/coq
From: Thomas Klausner
Date: 2013-01-29 06:46:42
Message id: 20130129054642.DE4FA175DD@cvs.netbsd.org
Log Message:
Fix MASTER_SITES.
Files:
RevisionActionfile
1.56modifypkgsrc/lang/coq/Makefile