-----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-----