Re: Coq 'parser' -> 'coq-parser'

To: debian-ocaml-maint@lists.debian.org
Subject: Re: Coq 'parser' -> 'coq-parser'
From: Richard Jones <rich@annexia.org>
Date: Fri, 8 Aug 2008 12:36:59 +0100
Message-id: <20080808113659.GA23300@annexia.org>
In-reply-to: <20080807140214.GA18706@usha.takhisis.invalid>
References: <20080806110846.GA426@annexia.org> <20080807140214.GA18706@usha.takhisis.invalid>

On Thu, Aug 07, 2008 at 11:02:14AM -0300, Stefano Zacchiroli wrote:
> Out of curiosity: are you following the
> distributions@l.freedesktop.org mailing list?

No, but I am now.

Rich.

-- 
Richard Jones
Red Hat

Reply to:

Follow-Ups:
- Re: Coq 'parser' -> 'coq-parser'
  - From: Stefano Zacchiroli <zack@debian.org>

References:
- Coq 'parser' -> 'coq-parser'
  - From: Richard Jones <rich@annexia.org>
- Re: Coq 'parser' -> 'coq-parser'
  - From: Stefano Zacchiroli <zack@debian.org>

Prev by Date: Bug#494206: ITP: pkglab -- interactive environment to explore package repositories
Next by Date: Re: Coq 'parser' -> 'coq-parser'
Previous by thread: Re: Coq 'parser' -> 'coq-parser'
Next by thread: Re: Coq 'parser' -> 'coq-parser'
Index(es):
- Date
- Thread