此合并请求的源项目已被删除。
WIP: [not to be merged] Run CI for Opam file for 0.4
This is not meant to be merged, this is just to run the CI on 0.4 to know for sure which constraints to put in the opam file.
This is not meant to be merged, this is just to run the CI on 0.4 to know for sure which constraints to put in the opam file.