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: Tue, 7 Nov 2017 10:21:10 +0000 (UTC)

Synopsis: lang/coq PLIST inaccuracies related to coqide

State-Changed-From-To: feedback->closed
State-Changed-By: jaapb%NetBSD.org@localhost
State-Changed-When: Tue, 07 Nov 2017 10:21:10 +0000
State-Changed-Why:
Submitter confirms solution works.

Prev by Date: pkg/52708: pkgsrc/doc/pkgsrc.txt: paragraph about *not* generating pkgs for deps is misleading
Next by Date: pkg/52711: net/samba4 doesn't accept /usr/local as LOCALBASE
Previous by Thread: Re: pkg/52651 (lang/coq PLIST inaccuracies related to coqide)
Next by Thread: pkg/52661: editors/emacs25
Indexes:

Home | Main Index | Thread Index | Old Index