Bump coqprime from `6c225a2` to `845c00c` #1026

Job	Run time
debian-sid	3h 5m 6s
test-standalone-host (sid)	11s
publish-standalone-dry-run	17s
test-standalone-container (sid)	15s
debian-check-all	1s
	3h 5m 50s

Provide feedback