[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: PR/52651 CVS commit: pkgsrc/lang/coq
The following reply was made to PR pkg/52651; it has been noted by GNATS.
From: Jaap Boender <jaapb%kerguelen.org@localhost>
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?
Main Index |
Thread Index |