Skip to content

WIP: [not to be merged] Run CI for Opam file for 0.4

Pierre Roux requested to merge proux/nc-coq:opam-0.4 into master

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.

Edited by Björn Brandenburg

Merge request reports