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

To: jaapb%NetBSD.org@localhost, gnats-admin%netbsd.org@localhost, pkgsrc-bugs%netbsd.org@localhost, tarik%sectopod.org@localhost
Subject: Re: PR/52651 CVS commit: pkgsrc/lang/coq
From: Jaap Boender <jaapb%kerguelen.org@localhost>
Date: Fri, 3 Nov 2017 11:35:01 +0000 (UTC)

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?

Follow-Ups:
- Re: PR/52651 CVS commit: pkgsrc/lang/coq
  - From: Aleksey Arens

Prev by Date: Re: pkg/52689 (pkgsrc/inputmethod/mozc-*: update to 2.20.2673.102)
Next by Date: Re: pkg/52694 (inputmethod/ibus: updated to 1.5.17)
Previous by Thread: Re: pkg/52689 (pkgsrc/inputmethod/mozc-*: update to 2.20.2673.102)
Next by Thread: Re: PR/52651 CVS commit: pkgsrc/lang/coq
Indexes:

Home | Main Index | Thread Index | Old Index