Bump coqprime from `f23d095` to `45c784d` #6071

Job	Run time
Build on no_std target (thumbv7em-none-eabi)	33s
test-rust	2m 27s
test-rust-check-all	8s
	3m 8s

Provide feedback