update dependencies

1 job for master in 2 minutes and 9 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #60897
fp
build-iris.dev

00:02:09

 
Name Stage Failure
failed
build-iris.dev Build



<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq 8.11.dev
+-
- No changes have been performed
ERROR: Job failed: exit code 1