Accepted coq 8.9.1-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 08 Nov 2019 16:48:46 +0100
Source: coq
Architecture: source
Version: 8.9.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
coq (8.9.1-2) unstable; urgency=medium
.
* Recompile with OCaml 4.08.1
Checksums-Sha1:
4f728f77f2af3ec03dfcc774202132549932b8e9 2162 coq_8.9.1-2.dsc
e2b12e6eb44a4195fee6091ec3a28dc00499fb2f 29520 coq_8.9.1-2.debian.tar.xz
Checksums-Sha256:
b2c84bd3c493fed63cb58bce185e60d7ec17d3ac515845ec124cc8eedc1cdc0b 2162 coq_8.9.1-2.dsc
0d5b186fe6b21e703a49421ecf02f9ef3fcef76a3edb18cb4de3a99b21727456 29520 coq_8.9.1-2.debian.tar.xz
Files:
9bb5f774d0fc1d2ca9d2e1c56e548b69 2162 math optional coq_8.9.1-2.dsc
f22d46ac92f53e3acf54ea452c700f22 29520 math optional coq_8.9.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAl3Fk10ACgkQIbju8bGJ
MIHyFgf6AyW0Qm6F6/o37U3DiBXjwDJo2NV91sQNtvIAa2R1FyTSq6eWx53Jkp3e
3ZoAXPT2pykruo7fyfLpQY5rvbzMwhzQ81sAvNpEsO4ncHhAnrbYSUUqhdoI3IfS
0AyMag+UGzyhqWljr03VVvaVtWsnKPDGfPlep3pLRqtSTJFl4JGF326ijBt9WxB/
N47g/5maoLxwXf0Hy13pTdAXM0JIwj4GfNjz6AYsfS6pBeSx5Oi0q0hhsaHsFOMG
+35yqwGqAj/q7f5YZJkW7tDeMbMRUoJjfSXWBh2c8qfYMQu9AoF+3HA06wOvigvt
bXCF/eMM2qt2HvAOtFsuU2kTHmB+Tw==
=Sms9
-----END PGP SIGNATURE-----