diff --git a/.github/workflows/coq.yml b/.github/workflows/coq.yml
index 4f2822a0..14d8b878 100644
--- a/.github/workflows/coq.yml
+++ b/.github/workflows/coq.yml
@@ -17,7 +17,6 @@ jobs:
     strategy:
       matrix:
         env:
-        - { COQ_VERSION: "8.16.1", COQ_PACKAGE: "coq-8.16.1 libcoq-8.16.1-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "8.17.0", COQ_PACKAGE: "coq-8.17.0 libcoq-8.17.0-ocaml-dev", PPA: "ppa:jgross-h/many-coq-versions-ocaml-4-11" }
         - { COQ_VERSION: "master", COQ_PACKAGE: "coq libcoq-core-ocaml-dev"         , PPA: "ppa:jgross-h/coq-master-daily" }
       fail-fast: false
diff --git a/bedrock2 b/bedrock2
index 29e7fe9f..8c5d2e86 160000
--- a/bedrock2
+++ b/bedrock2
@@ -1 +1 @@
-Subproject commit 29e7fe9fb6735f2fdc4dbb406272fcceba8087aa
+Subproject commit 8c5d2e86d84e095ef36e39d9e301381b0832e0ae