Commit d36fa653 authored by Zhen Zhang's avatar Zhen Zhang

Update to Coq 8.6

parent 3dd0a0c2
Pipeline #3554 failed with stage
in 1 minute and 11 seconds
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 2e3a9be08487e50bfc4bba911da6a11a4b715d36
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq e0789039ed0dcb01b6249fec2d5a36f66e5de21c
Markdown is supported
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