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

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

The following reply was made to PR pkg/52651; it has been noted by GNATS.

From: Aleksey Arens <tarik%sectopod.org@localhost>
To: gnats-bugs%NetBSD.org@localhost, jaapb%NetBSD.org@localhost, gnats-admin%netbsd.org@localhost,
 pkgsrc-bugs%netbsd.org@localhost
Cc: 
Subject: Re: PR/52651 CVS commit: pkgsrc/lang/coq
Date: Mon, 06 Nov 2017 16:55:20 -0800

 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?
 >