Re: pkg/52651 (lang/coq PLIST inaccuracies related to coqide)

To: jaapb%NetBSD.org@localhost, pkgsrc-bugs%netbsd.org@localhost, gnats-admin%netbsd.org@localhost, jaapb%NetBSD.org@localhost, tarik%sectopod.org@localhost
Subject: Re: pkg/52651 (lang/coq PLIST inaccuracies related to coqide)
From: jaapb%NetBSD.org@localhost
Date: Fri, 3 Nov 2017 11:32:45 +0000 (UTC)

Synopsis: lang/coq PLIST inaccuracies related to coqide

State-Changed-From-To: open->feedback
State-Changed-By: jaapb%NetBSD.org@localhost
State-Changed-When: Fri, 03 Nov 2017 11:32:45 +0000
State-Changed-Why:
Incorporated fix into version update, awaiting submitter confirmation

Prev by Date: PR/52651 CVS commit: pkgsrc/lang/coq
Next by Date: pkg/52697: new package chat/line-purple
Previous by Thread: Re: pkg/52651 (lang/coq PLIST inaccuracies related to coqide)
Next by Thread: Re: pkg/52651 (lang/coq PLIST inaccuracies related to coqide)
Indexes:

Home | Main Index | Thread Index | Old Index