Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 04 Feb 2022 08:54:41 +0100
Source: coq
Binary: coq coq-dbgsym coqide coqide-dbgsym libcoq-core-ocaml libcoq-core-ocaml-dbgsym libcoq-core-ocaml-dev libcoq-stdlib
Architecture: source amd64
Version: 8.15.0+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
coq - proof assistant for higher-order logic (toplevel and compiler)
coqide - proof assistant for higher-order logic (gtk interface)
libcoq-core-ocaml - runtime libraries for Coq
libcoq-core-ocaml-dev - development libraries and tools for Coq
libcoq-stdlib - proof assistant for higher-order logic (theories)
Changes:
coq (8.15.0+dfsg-2) unstable; urgency=medium
.
* Rework binary packages so they follow more closely
upstream's view of its "packages".
Checksums-Sha1:
4715fc93815427f90ca4f21d795689a0335b8853 2599 coq_8.15.0+dfsg-2.dsc
0336f32d1fabca48a00a2e4637d177e9c29fb3ac 39672 coq_8.15.0+dfsg-2.debian.tar.xz
6c38f142ba0ea1a128c25e365552ae575a40319e 9360288 coq-dbgsym_8.15.0+dfsg-2_amd64.deb
6817105a23ad0b0009f982a6fa6fd135e1a37cf3 17911 coq_8.15.0+dfsg-2_amd64.buildinfo
28e169cbd410d2c081a5b1e420d5a14b155129b6 80400984 coq_8.15.0+dfsg-2_amd64.deb
7ebac191d1d0d8f65320ddbc63b856df77972c3d 591348 coqide-dbgsym_8.15.0+dfsg-2_amd64.deb
9471bf0beada53b078c95ba6fd67d10a7c392123 1985116 coqide_8.15.0+dfsg-2_amd64.deb
e33d5c340b2e8654fb6b9ab710eced69775f89f6 1663364 libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.deb
da58e5d58bf286b96cfc539aa47ce0f7b2af2840 38995872 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
664740e267c2d6d73aec326190e325f10236908d 22476980 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
42a9e80046d07f07b6049c919f3dc8383c34def5 21418520 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
Checksums-Sha256:
997dd24d2c517a36aef953bdfcf01684f3f46fe66a1932657d5d6d048fa454be 2599 coq_8.15.0+dfsg-2.dsc
7827a9cfa6c80a33c9149f5facac06becef0094786500683ffdd37d6e0836b63 39672 coq_8.15.0+dfsg-2.debian.tar.xz
3ba0519742c73a821fe6bb9b0bf1443702cd72f56883f6c4d871a15297a804c4 9360288 coq-dbgsym_8.15.0+dfsg-2_amd64.deb
e9a03141f7eae0a9c94ba99ca2750a74dbdb40019c61a1d38f3f26346dc67705 17911 coq_8.15.0+dfsg-2_amd64.buildinfo
e8ed1c3d968d83121c78f91c5803df5539136164562d9bdba87f6b0a0b9247ca 80400984 coq_8.15.0+dfsg-2_amd64.deb
3f47e8f880dd1fea4be9ff66b6a11121151d92a823fe741db7ab3361cc61f964 591348 coqide-dbgsym_8.15.0+dfsg-2_amd64.deb
95d76f4343d4ac6dc62290628e70b91fa31cd268b0d821920f4ffe6209fc0533 1985116 coqide_8.15.0+dfsg-2_amd64.deb
7d33385d9836bb4272a3ee7b37a55d8a6575a6697a038785de688d773e2f937a 1663364 libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.deb
f935db92f46f906b239580d1bbb41e60b75eeec990688647949698de575a2a2e 38995872 libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
a72ab095d806e1fd4dc66a68f873d3f0290ac8a425161bdb368bfa79f16abcef 22476980 libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
40424e408845fac057ae6c787334e15a7567c1e10355e9f27b41eeddf319fbeb 21418520 libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
Files:
8094265e3af1624176fa4ea2615d345d 2599 math optional coq_8.15.0+dfsg-2.dsc
8d34c8d06b048f7bf8c5aa5bd5deb82b 39672 math optional coq_8.15.0+dfsg-2.debian.tar.xz
c1ddc2b6347ec9ae3977b5d5bd531e6c 9360288 debug optional coq-dbgsym_8.15.0+dfsg-2_amd64.deb
92be84caf262d472971d2d6e8280984e 17911 math optional coq_8.15.0+dfsg-2_amd64.buildinfo
7ea3b6e0c07cf8bf53c06ddfd58a7f1f 80400984 math optional coq_8.15.0+dfsg-2_amd64.deb
94fd40b6fe5a801efad9d7bc03b10acb 591348 debug optional coqide-dbgsym_8.15.0+dfsg-2_amd64.deb
ce3fd9682fe91193f2d6d966b0f8e594 1985116 math optional coqide_8.15.0+dfsg-2_amd64.deb
a9fc3fd7fd937897331b6d9a1bd48c72 1663364 debug optional libcoq-core-ocaml-dbgsym_8.15.0+dfsg-2_amd64.deb
ab601c602fff59864845b69934a6100b 38995872 ocaml optional libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
0fe0b4b304b3ee2023864c20393a9214 22476980 ocaml optional libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
22eaba2873036191cde0745777153dd6 21418520 math optional libcoq-stdlib_8.15.0+dfsg-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH9rjQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRtloP/1BXiywvp+bNFxqLgq2WfpePUMJkrUlI mo9frNSDzcfAdiq6bTpw2oSiGB1hkgbtHSxbixyzUa8lbelTaNHjFKaSevlLJjVj J+JNZxdMuR6c/c/mkYcw31Ex6srRlKLtd469Wjep+YOCU4gni28w7/vCecCdKRW1 iivmhQ1xf86HLv5F9eMjCEkB3d+9MfyU2kDZL0HB+daHXz3TDM99iyJw+VrkwST1 PuIkbpGMPAFl6TE1jh6KRyAMIqePxsntDsTyRld2fs9r8xdAPhiZnSu+KHD9g6pV E6QlZOpoMNHl6UGuI8uoSXHlnlW4jU1kANZBcyQr21ha1bdJSWahzxRyu5EBtsRN qNnhhJADzf9+hSw60x5P0gTLow8KKKpUJadDRZ2fPrPPs7bJ3hYdxlCUwOL6m7tl n5nSLGdPdwh8tJOrPStnZlmThOVGtNuV+6WdBRlKtLWfU01USo/u2Nnf1pju9tmD aJB59VxZ03tfUJBo+8c1v3lcmKfKi7yA9XNkWNIJCMX1oggRGpko904ZcAEekucF zHdZ+rM3bumcE96e8R7tNAd8ahpMvG328jTNpvG3bE50N6tLmHBZr7OsiH3OjMdP wVG4wlI8v5nq6n5929ayUM/OF6yZBcGl7tYEl6TWlXZIAYKM6Ahvv/Jgsflo9lK7
qWCMrb/2XO0N
=TtrK
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)