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