Migrate to OPAM 2 format
Dear iris devs,
would you consider migrating the repository the OPAM 2 format?
This would avoid quite a few warnings in our CI infra, among other benefits.
Dear iris devs,
would you consider migrating the repository the OPAM 2 format?
This would avoid quite a few warnings in our CI infra, among other benefits.