Bump coqprime from f23d095 to 45c784d

dependabot[bot] · andres-erbsen · commit 9eb8af1324ad · 2025-06-06T09:37:13.000-04:00
Bumps [coqprime](https://github.com/thery/coqprime) from `f23d095` to `45c784d`. - [Release notes](https://github.com/thery/coqprime/releases) - [Commits](thery/coqprime@f23d095...45c784d) --- updated-dependencies: - dependency-name: coqprime dependency-version: 45c784d122ed84194cd977c8453c98acd529193f dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
diff --git a/coqprime b/coqprime
@@ -1 +1 @@
-Subproject commit f23d095170211d1a51dbda2b32bcb47ab09aee7e
+Subproject commit 45c784d122ed84194cd977c8453c98acd529193f
