Subject: CVS commit: pkgsrc/lang/coq
From: Joerg Sonnenberger
Date: 2013-10-27 23:22:31
Message id: 20131027222231.ECD7196@cvs.netbsd.org
Log Message:
Don't use -fno-defer-pop.
Files:
RevisionActionfile
1.18modifypkgsrc/lang/coq/distinfo
1.2modifypkgsrc/lang/coq/patches/patch-configure