Yves Bertot

I have to run to a few things these days, I may not have time to look at it before the end of the week. I will try to keep...

After git rebase, it seems the error has disappeared.

Only the test-suite fails, and it seems this is only due to re-ordering in the graph.

I agree on the point concerning not merging a branch where tests fails.

Some of the changes cannot be fixed by sorting results. It seems there was a symbol for the section variable A that was removed and it shifts the indices of...

I agree, I am checking the normalcy of the graph just now.

Justification of usage here is associated to the efficiency gain when migrating. I would suggest that this should be better advertised on the [MMaps main page](https://github.com/coq-community/coq-mmaps). Also, the MMaps main...

I agree, I only suggest you should remove the remnant.

The inclusion of this contribution has been approved by the editorial board. The issue will not be closed until proper action has been taken.

What I understand from reeding this [link](https://github.blog/2023-02-21-update-on-the-future-stability-of-source-code-archives-and-hashes/) is that the problem needs to be handled by opam. A solution that comes to mind is to hash, not on the compressed...