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

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

David MENTRE wrote:
> Hello,
> 
> I just realized that the coq-doc package is stuck to 8.0pl1.0-1 since
> Dapper on Ubuntu (and is thus cannot be installed in parallel with coq
> :-( ):
>   http://packages.ubuntu.com/search?keywords=coq
> 
> Is there a script somewhere that would help me to find such issues for
> Coq and OCaml, like Stephane Glondu's ocaml_transition program?
> 

I don't think so. Stéphane updated the coq-doc package during these past
few days. Maybe a sync request is needed to get the latest coq-doc package?

Regards,

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/

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>

Prev by Date: How to verify coherency of Coq and OCaml packages?
Next by Date: Re: How to verify coherency of Coq and OCaml packages?
Previous by thread: 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