Accepted coq 8.12.0-2 (source) into experimental
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 06 Sep 2020 09:59:04 +0200
Source: coq
Architecture: source
Version: 8.12.0-2
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
coq (8.12.0-2) experimental; urgency=medium
.
* Patch remove-heavy-tests: also remove test bugs/closed/bug_4544.v
as it is a complexity test that tends to timeout on slow architectures.
Checksums-Sha1:
4b71024cdda529ec9968a02d04ce02c87cf0b7c5 2483 coq_8.12.0-2.dsc
e46429a5e25153812b6441279fde90e721501712 37728 coq_8.12.0-2.debian.tar.xz
6103c1f18259dd18e87be9bb8170f1b8b45de208 14407 coq_8.12.0-2_source.buildinfo
Checksums-Sha256:
471d3ce5d8acbd00b3f78b734b05523c84e2426a7701540df83ed5f2f1fe5709 2483 coq_8.12.0-2.dsc
384437400dabb74be9d1c169710653d170e0b9c2ab4e3ef60d48da2c53f3625c 37728 coq_8.12.0-2.debian.tar.xz
1332c042d036ff5d8cd6f4667914cccd45e5c4070cab6fe579980f22c5b146ec 14407 coq_8.12.0-2_source.buildinfo
Files:
98ea316fa8d67a4b6909f4a807229ca6 2483 math optional coq_8.12.0-2.dsc
f7f0f7dd074f94e9848979986e48a261 37728 math optional coq_8.12.0-2.debian.tar.xz
f29c4eb6b6e12acede294f5a0c3a3369 14407 math optional coq_8.12.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9UoZgACgkQdFxHZtTK
zf8NGxAAp5UpJpfZHRMon3wkl+5jlO91stb9z5RXmFWsIL9xbCUomoeYjn+rDqAN
l7CwqA93K8jtmoZngOtn562q2QMyJ0Ysp49qMWgkYsgbmS03poau8yGpV/A0O5s2
bP8T8IPndHtcDk+WRBxP7Qk974pX/1UDKoTg3Z/xm0oiSi6hL3g4T8z8d4JE1Gk+
iNsV8nlKdX6zOh8CrJSLxyfYEFIunjhNDfYgQmumqi6Cij56/u1InpuZMONDpd5l
cK7zo8gFdgDFc1k9Z2/oR40ia6MXYoPbL+n4S/owM1PnvtmOuBdeR21R5Y9l405E
G6urvTh5L+WoBk0mtsPussxJWTe7Yr5kSwJeW98f9E3dKXQ6jmJLJUy21pPLs1kp
/IwVxAj8VuK4aSvV4qnUw5KdTlN0dKIDOc0sPu9vGLsPqNIdOqeqt89I8ECfx3py
F9obtjylWkSBdxb7ZFxBRw2eZkhVYwSVBsZvNipld+3UA9D2SdM527gffBCmX2V4
3NkOfhbyZSb2EWpDaeNZf2OEPyGKmHm5BEAcXM7osnO5aNKNDkP0WCEtRxFHDcCl
eIAfq51lbrPeYBfv2hppBbMIcPPL+MuRyT8hvIWrAQ8HQAE74CfhbmrXz0q/bgqy
ObQGEr5yHJQsR8NY5obVbASf6dpiN2vi0s5ZiOrE6wvVYUXcvks=
=9nLG
-----END PGP SIGNATURE-----