Accepted coq 8.12.0-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 09 Sep 2020 21:16:07 +0200
Source: coq
Architecture: source
Version: 8.12.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
coq (8.12.0-3) unstable; urgency=medium
.
* Upload to unstable
Checksums-Sha1:
a7f6044479485418fdc8a1766526455211545999 2483 coq_8.12.0-3.dsc
88d1a392001adcb7fae0a204eab77274cf2b5791 37772 coq_8.12.0-3.debian.tar.xz
77bf6d0754dc48b4aec3eb04ff3adeb47de4869c 14407 coq_8.12.0-3_source.buildinfo
Checksums-Sha256:
a51b2cc10e8b2e8199e0788bc5c5016f7bc097cc276105e8f1e137f96be1838b 2483 coq_8.12.0-3.dsc
d0b2ecfbcb6ef5a116dc791cf4e68086314352c42d5250407e563d117f63234a 37772 coq_8.12.0-3.debian.tar.xz
e175f2538e9ff0b11e9e58ab7e50f3e78202edc1e964381a06e2d8c472a08de7 14407 coq_8.12.0-3_source.buildinfo
Files:
74fa59ff625160361d54e4f008bbd61b 2483 math optional coq_8.12.0-3.dsc
3957663116163b8bae95288b66e400bb 37772 math optional coq_8.12.0-3.debian.tar.xz
d7ffc7568f8bf48b889c9d32922e8186 14407 math optional coq_8.12.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9ZxxEACgkQdFxHZtTK
zf+5wBAApt33335XtcyJApjzLK3rtyBCRTrUQOg/6fRikBbeMy0F6Vr4Iv1O8bHp
laJVGjVGytFY5GbIll1+vn9NwFsG1plqErNyD9boS03+RdUwnBg9QsLEFpfsVDjJ
zmDXMwgA3xBbP0g52uI0q9tEnz1dTgOAlqN5ZiNGBAHEU35of1P8pnAyfG3Gy4Cz
uVwj09TMkM8SJ52GkK+kjZy+ceab4+B7UiOBgrjDpLDD6pTGBSpeLUYsek8UBRSf
GcJj8o90vmsNU4lodPFGxdf4bnAIm3gg77PGq5sX/9mlAUC8CP7GrYbQq/NSuLtC
rCFZ/yz2xotoPS54fqL7RYHZA76CDzLdVV36buxXeSnBSXRmJfvnyRa2ku8zLfuf
sFXVYt19o4+CUj5oYbPR7iOE+e6DBTJF+xizjfPDrACkaGxxE5YjSfCwwI+kX7OT
ILgfxE/qG2Y333D9W6BiUuNszqsxvZlG2uHqyDuRD6ypBNgWSbacR431oyTXv2IH
jywO26kfzUtpJMEXus3OlYSN/1+9m8O5D8vdOZtfhN+Cm1+t6U4DmsFAvrVFDJuC
Y/d+I9kva5FpMKUZ7MAdTmJE2RnDApO2xa+PphR98Izk7Z3vwhA3svd8W9FTkh2A
Fs+GMVJ9fg2rfB9yM3Jdck9OU766DR8bJ5ByLW/m83ptFLBHpQQ=
=ZzqI
-----END PGP SIGNATURE-----