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/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
