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