Subject: CVS commit: pkgsrc/lang/coq
From: Jaap Boender
Date: 2017-01-12 10:11:27
Message id: 20170112091127.91B74FBA6@cvs.NetBSD.org
Log Message:
Added dependency on camlp4
Files:
RevisionActionfile
1.94modifypkgsrc/lang/coq/Makefile