Samuel Mimram wrote:
Well, no needs for tests I can already predict that coq will fail to build with ocaml 3.10 and will therefore prevent it from entering testing (as well as every package depending on ocaml). It might effectively be a good idea to consider uploading versionned packages for ocaml...
Actually its worse than this. We would also need versionned packages for lablgtk2.