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

Job	Run time
docker-master	1h 30m 56s
test-standalone (master, dev, default)	1m 25s
publish-standalone-dry-run	16s
validate-docker-master	2m 25s
build-js-of-ocaml (master, 4.11.1)	12m 42s
build-wasm-of-ocaml (master, 4.14.1)	10m 39s
generated-files (master)	23m 50s
standalone-haskell (master)	46m 52s
test-amd64	2h 16m 19s
deploy-js-wasm-of-ocaml	0s
docker-check-all	3s
	5h 25m 27s

Provide feedback