Add extra-files records where need to support opam 2.3.0 - Fixes #3203

coq / opam

Archive for all Coq related OPAM packages organized in various repositories

https://coq.inria.fr/opam/www/

GNU Lesser General Public License v2.1

127 stars 166 forks source link

Closed MSoegtropIMC closed 1 week ago

MSoegtropIMC commented 1 week ago

This PR adds extra-files records where needed.

This was done by running opam admin update-extrafiles --hash=sha512 (using opam 2.2.0) on both the releases and the extra-dev folder.

This apparently did some minor additional cleanup:

Fixes #3203

palmskog commented 1 week ago

Linting works, json works, let's merge.

MSoegtropIMC commented 1 week ago

Thanks! Let's see if Coq Platform now works again - after updating the local patch repos it failed on things from the official repo.