Re: CVS commit: pkgsrc/lang/coq

[David Holland <dholland-pkgchanges%netbsd.org@localhost>]

On Thu, Jan 12, 2017 at 09:11:27AM +0000, Jaap Boender wrote:
 > Module Name: pkgsrc
 > Committed By:        jaapb
 > Date:                Thu Jan 12 09:11:27 UTC 2017
 > 
 > Modified Files:
 >      pkgsrc/lang/coq: Makefile
 > 
 > Log Message:
 > Added dependency on camlp4

Was there some reason to use camlp4 and not camlp5? I'd tossed in
camlp5 to make it build at around the same time you committed this and
it works fine...

-- 
David A. Holland
dholland%netbsd.org@localhost