Bump coqprime from 6c225a2 to 845c00c (#1984)

Bumps [coqprime](https://github.com/thery/coqprime) from `6c225a2` to `845c00c`.
- [Release notes](https://github.com/thery/coqprime/releases)
- [Commits](thery/coqprime@6c225a2...845c00c)

---
updated-dependencies:
- dependency-name: coqprime
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>