Accepted coq 8.14.1+dfsg-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Dec 2021 11:46:49 +0100
Source: coq
Architecture: source
Version: 8.14.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq (8.14.1+dfsg-1) unstable; urgency=medium
.
* Ship META in the right package and hence Suggest: ocaml-findlib
(following OCaml Packaging Policy).
* New upstream release.
Checksums-Sha1:
83cf09b06d3e4e04b1fc3db6c80548dddf8e9159 2925 coq_8.14.1+dfsg-1.dsc
8825cd8eacd75edb237829d4e1d085b106e05069 4614312 coq_8.14.1+dfsg.orig.tar.xz
ce45fcba3c8e67b09b515dd5e7f16b480e0b062a 39916 coq_8.14.1+dfsg-1.debian.tar.xz
3e37abc0be759f0f8a2bfd779be531f407acad88 15435 coq_8.14.1+dfsg-1_source.buildinfo
Checksums-Sha256:
6338cafd8962d24d81fda91f7fe726d2dd73107c56c9e1809f1b67e6e8c610a6 2925 coq_8.14.1+dfsg-1.dsc
64c41fe6566465c343bc652691bb6e2bccff1a7dbbd4c97d3fe154e094d342a1 4614312 coq_8.14.1+dfsg.orig.tar.xz
5c55f268543370dfef63e243c8ad30f97acdf3af0fd601cc974bcb9342c53971 39916 coq_8.14.1+dfsg-1.debian.tar.xz
3fcca950ad9cf638968268d70bd649e12662231fa9b3ef693470da720698b808 15435 coq_8.14.1+dfsg-1_source.buildinfo
Files:
a260ace4153143a9cfd4e51ea2110fe9 2925 math optional coq_8.14.1+dfsg-1.dsc
83f6ebf664b30aacfa00af543012734a 4614312 math optional coq_8.14.1+dfsg.orig.tar.xz
549e6b2f9761c86180976584163f87d1 39916 math optional coq_8.14.1+dfsg-1.debian.tar.xz
6821b18da058e8f0ad25a8a845cdca50 15435 math optional coq_8.14.1+dfsg-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmG0ghASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRrRwP/jQrtP122vmxQIjoZDHGhXjoyZtHxZ2W
ggQ+6MnqNLf0cva4mudl7YgbOmDQ9swGYEEx3fvYKepGpZ6VY72NYaxcTP/GGhQ1
HKDijF7Mp3u6kASAooiZil3x7OgRRb2rWoAvEh5QFOF4n4yK2m/ZznIDcrsrfRUz
jr4IE4kJlCGgRjAS/DgRfqoyYVyTfxduNS+GPbzfZOhimHiXqNveq+n+M4mPCTAT
XY/ODyus7zCJhRR1VBl5LMMcRDWREfXG1ebzVGhPia9aDvNdiX2rdrIwLh/BRP5d
JSJaVQmCMeyK772OhvzHlKJR8hZOzxZvbu0JuY1YgKxX4QOizSLKv/XwSCPU72Dz
hX9riUQH4gLi01vMx19vO4x20hfn1Vir8SB2TK49z2yKGCzLF2l58k7ntbnU6BoD
Zi4/Gg1FeG1XcE+YxG43c4tyNUQ6W5/y6+dM4jV/QtRInCTXxC1WyC4gJ89ys+Qd
1a71RDnJZZXggSNilEB8T9xEn77rVzS50Vf0mEOJBOxEHoi7aOjLms9csb5D7//M
QSveZa6m7OcfyRjv3ZpAb2XQdDdMGf3QNqWnCrd2d7UK9Si4JQXfjebNAEapjb6E
06fPHls4pq5QBPd/mWiX4H28iSAqlaRRyeJkLEYJKk571odZLm/IY/82obrp9MFh
8RetOl0d94eh
=vGpn
-----END PGP SIGNATURE-----