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, jaapb%NetBSD.org@localhost, diro%nixsyspaus.org@localhost
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
From: jaapb%NetBSD.org@localhost
Date: Fri, 16 Nov 2012 14:47:22 +0000 (UTC)

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

State-Changed-From-To: open->feedback
State-Changed-By: jaapb%NetBSD.org@localhost
State-Changed-When: Fri, 16 Nov 2012 14:47:21 +0000
State-Changed-Why:
Change effected, awaiting confirmation from original poster.

Prev by Date: PR/47152 CVS commit: pkgsrc/lang/coq
Next by Date: pkg/47202: update fonts/fontforge to 20120731 (patch!)
Previous by Thread: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
Next by Thread: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
Indexes:

Home | Main Index | Thread Index | Old Index