Re: PR/52651 CVS commit: pkgsrc/lang/coq

[Aleksey Arens <tarik%sectopod.org@localhost>]

Hello Jaap.

I was able to successfully finish the following sequence of commands,
starting at 2017-11-06 16:50:22 PST:

cd /usr/pkgsrc/lang/coq
cvs update -r HEAD
make package

Thank you for making the adjustments to the package.

On Fri, Nov 3, 2017, at 03:35, Jaap Boender wrote:
> The following reply was made to PR pkg/52651; it has been noted by GNATS.
> 
> From: Jaap Boender <jaapb%kerguelen.org@localhost>
> To: gnats-bugs%NetBSD.org@localhost
> Cc: 
> Subject: Re: PR/52651 CVS commit: pkgsrc/lang/coq
> Date: Fri, 3 Nov 2017 11:33:43 +0000
> 
>  I've updated Coq to the latest version, and incorporated your changes. 
>  Could you confirm that everything now works for you?
>