Bump coqprime from 09db3f8 to f23d095

Bumps [coqprime](https://github.com/thery/coqprime) from `09db3f8` to `f23d095`.
- [Release notes](https://github.com/thery/coqprime/releases)
- [Commits](thery/coqprime@09db3f8...f23d095)

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

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]