testing/coq: upgrade to 8.13.2

8 jobs for !23746 with coq in 8 minutes and 33 seconds (queued for 1 second)
detached
Status Job ID Name Coverage
  Lint
passed #450351
docker-alpine x86_64
lint

00:00:18

 
  Build
passed #450356
docker-alpine ci-build aarch64
build-aarch64

00:06:47

passed #450358
docker-alpine ci-build armhf
build-armhf

00:00:27

passed #450357
docker-alpine ci-build armv7
build-armv7

00:00:29

passed #450355
docker-alpine ci-build ppc64le
build-ppc64le

00:08:14

passed #450354
docker-alpine ci-build s390x
build-s390x

00:00:26

passed #450353
docker-alpine ci-build x86
build-x86

00:00:14

passed #450352
docker-alpine ci-build x86_64
build-x86_64

00:03:13