pkgsrc-Bugs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

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

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

Home | Main Index | Thread Index | Old Index