Bump minimal version of ocplib-simplex to 0.5.1
#48
Annotations
1 error
|
Run opam switch create . ocaml-system --locked --deps-only --ignore-constraints-on alt-ergo-lib,alt-ergo-parsers
Process completed with exit code 20.
|
Loading