update dependencies

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

00:02:02

 
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