Subject: CVS commit: pkgsrc/lang/coq
From: David A. Holland
Date: 2011-12-13 08:15:05
Message id: 20111213071505.9B418175DD@cvs.netbsd.org
Log Message:
Catch up to ocaml changes to enable natdynlink on NetBSD.
Files:
RevisionActionfile
1.34modifypkgsrc/lang/coq/Makefile