Update deps to 8.9.1

tlringer · tlringer · commit 8dd14481e0f4 · 2021-09-02T13:02:34.000-05:00
diff --git a/plugin/deps/fix-to-elim b/plugin/deps/fix-to-elim
@@ -1 +1 @@
-Subproject commit 739a308b38024a6f68e199f484abc484414107a4
+Subproject commit 834834689131ef5a43b977dad269d23ecc768157
diff --git a/plugin/deps/ornamental-search b/plugin/deps/ornamental-search
@@ -1 +1 @@
-Subproject commit e259aa642d2a09dc2ec063fa08c08181b3d9dea7
+Subproject commit 60564364404ae48028d75df23afc53a0f2aac937
diff --git a/plugin/src/coq-plugin-lib b/plugin/src/coq-plugin-lib
@@ -1 +1 @@
-Subproject commit b249fc1954e2f1bc0b776e2d06e8ec1fc4d48ad9
+Subproject commit cbfde621598d26f365d195aa47207d2407ccc263
