Accepted coq 8.17.0+dfsg-1 (source) into unstable

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

Format: 1.8
Date: Mon, 12 Jun 2023 08:54:21 +0200
Source: coq
Architecture: source
Version: 8.17.0+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.17.0+dfsg-1) unstable; urgency=medium
 .
   * New upstream release.
   * Refresh patches.
   * Refresh lintian overrides.
   * Fix build.
   * Bump standards-version to 4.6.2.
   * Add patch to workaround a problem in coq-unimath.
Checksums-Sha1:
 4702997b8822fe4a423a69004eae2afc1e55be56 2629 coq_8.17.0+dfsg-1.dsc
 cf6d446dd6187ed356ea6eaec7e2315ae8282863 4773032 coq_8.17.0+dfsg.orig.tar.xz
 1c5cd4cb9423e183d3c7b708857a2207de1133de 33104 coq_8.17.0+dfsg-1.debian.tar.xz
 6aed912a14249029cb83ffb53dd0b1fc1114831b 15733 coq_8.17.0+dfsg-1_source.buildinfo
Checksums-Sha256:
 2d2cc4aafe367ee76d3d74a434ee5693286a1a692539a205c631c0c72941535a 2629 coq_8.17.0+dfsg-1.dsc
 8dfab9a5db36300a19f31fd70009bb4907d3a2e1e2671dd89a7e64ddd4b77ca3 4773032 coq_8.17.0+dfsg.orig.tar.xz
 7bad6f506fa1e4eb8f914e9cd7f950d6f9adb13dc9844799126d7c54b1d57508 33104 coq_8.17.0+dfsg-1.debian.tar.xz
 f31959cb35c6531a17b35dc5398e46e4dbebf987c3b0aaf9faecc473277f6347 15733 coq_8.17.0+dfsg-1_source.buildinfo
Files:
 ffaba6dbb212eb9e69de17ceaa8d0fb5 2629 math optional coq_8.17.0+dfsg-1.dsc
 a4600ad16a18533703e73c88f2a62373 4773032 math optional coq_8.17.0+dfsg.orig.tar.xz
 056582da5e69cb5ff72f511ada65c784 33104 math optional coq_8.17.0+dfsg-1.debian.tar.xz
 35fc2bff158467bd7d2e282944f70c1f 15733 math optional coq_8.17.0+dfsg-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSGwVMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLF8QAIfVdbw3njyewZoPSVcBKj/V7Oif5DXB
KllRck43XlfBluD1ANnNEIsMoltK/FB2pOw3mGuRbvHCsLlB4wk0xxdlgvtDGtIw
fMaee1G5SQmUW8uAuJOJpcDI57QSPASkJGbW4lhACPC1jqNLZ9gZu2Q99cEKoTFo
jBV2oNpSPsxTOoOqIyIEcnP/vpoZ4xoKg05d29lKFuv3UIE5s/ojW6Dk3lwSP7Cc
uGJjSd7KUNEmpItJqG/2NwzWwiOsHrArk0kc2ZwRFUdg54SYOIJfEshK0AG32bR4
/7h3dM++tuDuCb/vhJaquEDdHKFL895ohx0i7sNrtCgznlEsXmQC7KA0Sy4ZDcyc
1P3q+g1GkqcnXYzpLBLmWivBNlh3lw0ytOxhUO58gkqhp5g1ri+NB8JyC+sE2NhV
SXiHBQrvPzas8P7/2fNRLut860WAH1vyqGJDcHohQ/D0q+Px4N48eeDQtylZunQm
319frc1Y4zzqcLM75xkDjSVwpZaceuW9WZ2Gi0LbMGW/8ftID6DG8hRcHNurZBJ9
wEikoTdXupAZmVsL9G6nXkG+ZKvc06Bng3DbaxIgMpZrTDJ+TAHswWnBMCtx3KIP
SoU1xCEPe2mHddFQa6u+7QulmSv6i5hZjVheyEC3QNjrxEAX3WmdWJ+jgZs5JOck
1bBQ9yG7eCL0
=AqI0
-----END PGP SIGNATURE-----