From ea55d04034b8d0d3247204bb1c3b7563fd4e0415 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Jun 2024 12:32:07 +0000 Subject: [PATCH] Bump coqprime from `d5935ca` to `6c225a2` (#1917) Bumps [coqprime](https://github.com/thery/coqprime) from `d5935ca` to `6c225a2`. - [Release notes](https://github.com/thery/coqprime/releases) - [Commits](https://github.com/thery/coqprime/compare/d5935ca3b7f3d2f738b0810a49858d17480d6a58...6c225a2060ef2a47bdd487bca775f21bfe1fa5de) --- updated-dependencies: - dependency-name: coqprime dependency-type: direct:production ... Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- coqprime | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/coqprime b/coqprime index d5935ca3b7..6c225a2060 160000 --- a/coqprime +++ b/coqprime @@ -1 +1 @@ -Subproject commit d5935ca3b7f3d2f738b0810a49858d17480d6a58 +Subproject commit 6c225a2060ef2a47bdd487bca775f21bfe1fa5de