Subject: CVS commit: pkgsrc/lang/coq
From: Mark Davies
Date: 2018-06-16 12:25:51
Message id: 20180616102551.63181FBEC@cvs.NetBSD.org
Log Message:
coq: always installs coqdoc.sty in tex tree.
Files:
RevisionActionfile
1.27modifypkgsrc/lang/coq/PLIST