From 16f0d524d947c531c1a782617f0aa2a57da51fa8 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 3 Jun 2024 08:12:19 +0000 Subject: [PATCH] Bump coqprime from `d5935ca` to `6c225a2` 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] --- 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