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

Job	Run time
docker-master	1h 31m 55s
publish-standalone-dry-run	24s
test-standalone (master, dev, default)	1m 30s
build-wasm-of-ocaml (master, 4.14.1)	17m 6s
generated-files (master)	25m 3s
standalone-haskell (master)	46m 39s
build-js-of-ocaml (master, 4.11.1)	12m 25s
test-amd64	2h 33m 8s
validate-docker-master	3m 17s
deploy-js-wasm-of-ocaml	40s
docker-check-all	7s
	5h 52m 14s

Provide feedback