core-dev packages 8.10 and older don't have right dependencies

[Alizter]

The core-dev packages for 8.10.dev and older seem to have very lax restrictions on packages. For example camlp5 8.0.0 is being used and that breaks a lot of things for older versions of coq. The released packages however don't have these problems.

This can of course be avoided by pinning the packages manually, but can be a pain especially if you are setting up switches with a script.

[palmskog]

@Alizter The 8.X.dev packages for X < 14 in core-dev are essentially obsoleted by the regular releases. If you still want to use them, however, fixes to dependencies can be submitted as pull requests here. But I don't think anyone else is planning to submit fixes.

[Alizter]

@palmskog Sorry for not replying sooner about this. The main issue I have is coq 8.0, 8.1, 8.2 only have dev releases. It might be worth at some point making sure all the dev opam files still work, especially since these are the only versions available.

[palmskog]

@Alizter there are tarballs for pretty much every Coq version going back to 5.6 here: https://coq.inria.fr/distrib/

For example, the 8.2 release is here: https://coq.inria.fr/distrib/V8.2/files/coq-8.2-1.tar.gz

You're welcome to try to get the dev opam packages for 8.0 to 8.2 to work, but maybe better to create packages for the actual released tarballs?

[palmskog]

For the record, the coq.8.13.dev package lacks the update to disable warning 70 that the coq.8.13.2 package has.