Bump coqprime from 431d7a6 to f611fa4 (#1667)

Bumps [coqprime](https://github.com/thery/coqprime) from `431d7a6` to `f611fa4`.
- [Release notes](https://github.com/thery/coqprime/releases)
- [Commits](thery/coqprime@431d7a6...f611fa4)

---
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>