Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)

To: jaapb%NetBSD.org@localhost, pkgsrc-bugs%netbsd.org@localhost, gnats-admin%netbsd.org@localhost, dholland%NetBSD.org@localhost, diro%nixsyspaus.org@localhost
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
From: dholland%NetBSD.org@localhost
Date: Sun, 9 Dec 2012 19:28:51 +0000 (UTC)

Synopsis: Please, pull up the doc option from wip/coq into lang/coq

State-Changed-From-To: feedback->closed
State-Changed-By: dholland%NetBSD.org@localhost
State-Changed-When: Sun, 09 Dec 2012 19:28:50 +0000
State-Changed-Why:
Confirmed.

Prev by Date: Re: pkg/42695 (compiling error devel/xulrunner, Solaris 10 SunStudio12)
Next by Date: Re: pkg/47192 (pkgin fails to import packages from file)
Previous by Thread: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
Next by Thread: PR/45066 CVS commit: pkgsrc/sysutils/webmin
Indexes:

Home | Main Index | Thread Index | Old Index