WIP: [not to be merged] Run CI for Opam file for 0.4 (!86) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

The source project of this merge request has been removed.

Pierre Roux requested to merge proux/nc-coq:opam-0.4 into master Feb 24, 2020

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 Feb 24, 2020 by Björn Brandenburg

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