update dependencies

2 jobs for master in 1 minute and 29 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
failed #60823
fp
build-iris.dev

00:01:29

failed #60789
fp
build-iris.dev

00:02:15

 
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