Skip to content
Snippets Groups Projects
Commit f1208c60 authored by Celeste's avatar Celeste Committed by omni
Browse files

testing/coq: upgrade to 8.18.0 

Also, fix runtime dependencies, and move Coq stublibs
to a path that is listed in `/usr/lib/ocaml/ld.conf`.
parent bbe0c856
No related branches found
No related tags found
1 merge request!51363testing/coq: upgrade to 8.18.0
Pipeline #181750 skipped
Hide whitespace changes
Inline Side-by-side
Showing
with 7 additions and 5 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment