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

To: jaapb%NetBSD.org@localhost, gnats-admin%netbsd.org@localhost, pkgsrc-bugs%netbsd.org@localhost, diro%nixsyspaus.org@localhost
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into lang/coq)
From: Jaap Boender <jaapb%kerguelen.org@localhost>
Date: Tue, 4 Dec 2012 16:55:05 +0000 (UTC)

The following reply was made to PR pkg/47152; it has been noted by GNATS.

From: Jaap Boender <jaapb%kerguelen.org@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: pkg/47152 (Please, pull up the doc option from wip/coq into 
lang/coq)
Date: Tue, 4 Dec 2012 16:51:17 +0000

 I'll pass that one on upstream, thanks.

Prev by Date: Re: pkg/47132: MPlayer crashes (VLC is affected potentially too)
Next by Date: Re: pkg/47261: upgrade pkgsrc/databases/pgadmin3 to 1.16.0
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