Upgrade upstream

coq-tactician · Oct 23, 2023 · bb440dc · bb440dc
1 parent fa07030
commit bb440dc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/coq-tactician b/coq-tactician
diff --git a/coq-tactician-api.opam b/coq-tactician-api.opam
@@ -26,7 +26,7 @@ dev-repo: "git+https://github.com/coq-tactician/coq-tactician-api.git"
 pin-depends: [
   [
     "coq-tactician.8.11.dev"
-    "git+https://github.com/coq-tactician/coq-tactician.git#43c5badf0d0c272b75c68ca67a49428b2adf0184"
+    "git+https://github.com/coq-tactician/coq-tactician.git#9224b136ee7823d4776301035d9455f56c8c16b1"
   ]
 ]
 

diff --git a/coq-tactician-api.opam.template b/coq-tactician-api.opam.template
@@ -1,7 +1,7 @@
 pin-depends: [
   [
     "coq-tactician.8.11.dev"
-    "git+https://github.com/coq-tactician/coq-tactician.git#43c5badf0d0c272b75c68ca67a49428b2adf0184"
+    "git+https://github.com/coq-tactician/coq-tactician.git#9224b136ee7823d4776301035d9455f56c8c16b1"
   ]
 ]
+3 −0		.github/workflows/ci-daily.yml
+3 −0		.github/workflows/stdlib-daily2.yml
+1 −1		README.md