Bump coqprime from f23d095 to 45c784d

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>

Author: dependabot[bot]