pkgsrc-Bugs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

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



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

Responsible-Changed-From-To: pkg-manager->jaapb
Responsible-Changed-By: jaapb%NetBSD.org@localhost
Responsible-Changed-When: Fri, 02 Nov 2012 17:03:17 +0000
Responsible-Changed-Why:
I'll handle this.





Home | Main Index | Thread Index | Old Index