Re: How to verify coherency of Coq and OCaml packages?

To: Mehdi Dogguy <mehdi@dogguy.org>
Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Subject: Re: How to verify coherency of Coq and OCaml packages?
From: David MENTRE <dmentre@linux-france.org>
Date: Fri, 15 Jan 2010 18:46:37 +0100
Message-id: <3d13dcfc1001150946m6fa41d5dkd465610cdc35e006@mail.gmail.com>
In-reply-to: <4B509A52.8070601@dogguy.org>
References: <3d13dcfc1001150813l1b00b963oc2dbe84f3abdc732@mail.gmail.com> <4B509A52.8070601@dogguy.org>

Hello Mehdi,

2010/1/15 Mehdi Dogguy <mehdi@dogguy.org>:
> Maybe a sync request is needed to get the latest coq-doc package?

I'll contact Ubuntu developers and check with them. Thank you Mehdi
and Stéphane for the feedback.

Regards,
d.

Reply to:

Follow-Ups:
- Re: How to verify coherency of Coq and OCaml packages?
  - From: David MENTRE <dmentre@linux-france.org>

References:
- How to verify coherency of Coq and OCaml packages?
  - From: David MENTRE <dmentre@linux-france.org>
- Re: How to verify coherency of Coq and OCaml packages?
  - From: Mehdi Dogguy <mehdi@dogguy.org>

Prev by Date: ocaml-bitstring 2.0.2-1 MIGRATED to testing
Next by Date: Re: How to verify coherency of Coq and OCaml packages?
Previous by thread: Re: How to verify coherency of Coq and OCaml packages?
Next by thread: Re: How to verify coherency of Coq and OCaml packages?
Index(es):
- Date
- Thread