Bump etc/coq-scripts from `e4d9e81` to `4327aa1` #1007

Job	Run time
debian-sid	3h 5m 48s
publish-standalone-dry-run	21s
test-standalone-container (sid)	13s
test-standalone-host (sid)	19s
debian-check-all	6s
	3h 6m 47s

Provide feedback