Bump etc/coq-scripts from `7b54b75` to `5876e80` (#1829) #391

Job	Run time
docker-master	1h 39m 38s
publish-standalone-dry-run	13s
test-standalone (master, dev, default)	1m 5s
build-wasm-of-ocaml (master, 4.14.1)	13m 23s
build-js-of-ocaml (master, 4.11.1)	14m 15s
generated-files (master)	1m 31s
validate-docker-master	33m 35s
standalone-haskell (master)	51m 58s
test-amd64	2h 21m 6s
deploy-js-wasm-of-ocaml	1m 5s
docker-check-all	2s
	5h 57m 51s

Provide feedback