[opam-devel] branch merge

[Thomas Gazagnaire]

Hi,

Just to let you know that I was sufficiently happy with the state of my new branch to merge it in the main repository.

These patches should fix a lot of instability regarding repository update, dev and pin packages - as this is now well stress-tested by opam-rt. But if you find new regressions, and if you are not happy with the new behavior, please tell me. I plan to fix the last documentation issues during the week, and hope to release 1.1 next week if nothing is reported since then.

One nice new thing with these patches is that you can easily add overlays for your package metadata (but editing ~/.opam/<switch>/overlay/<name>.<package>/{opam,url,descr,files/*}). Using that mechanism, pinned packages and dev packages are not very different anymore, as an pinned package is just a normal package with an URL overlay (and a slightly different version).

I've also cleaned up the file hierarchy in the ~/.opam/ folder, (packages metadata are now in ~/.opam/packages/<name>/<name>.<version>/{opam,url,descr,file/*}) and so a small upgrade script is run the first time you run the new OPAM. If something goes wrong, you can `mkdir ~/.opam/opam` and starts again. If something goes wrong again, please fill a bug report.

Best,
Thomas