Accepted coq-gappa 1.5.3-1 (source) into unstable

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

Format: 1.8
Date: Tue, 13 Jun 2023 07:05:53 +0200
Source: coq-gappa
Architecture: source
Version: 1.5.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-gappa (1.5.3-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.2.
Checksums-Sha1:
 7cbd167586fe547b1679cab2e560048117d92e8c 2073 coq-gappa_1.5.3-1.dsc
 924dd48b2fa85b63bf46869ea256fabf6b0f12ba 73583 coq-gappa_1.5.3.orig.tar.bz2
 8fb0686d9c3d0d732afea52797834a1d68d56321 2048 coq-gappa_1.5.3-1.debian.tar.xz
 0ac3a67a506ce5388e14123545d52e8eb768bd0d 7472 coq-gappa_1.5.3-1_source.buildinfo
Checksums-Sha256:
 41a703cff1a9628568f9ebc38a63ffd35cb7a891989e066735793bea68f9fee5 2073 coq-gappa_1.5.3-1.dsc
 edb3cb86bc15fe80b82e665811780ec0cf2bf3f19563707b22c765b1cb8d8c8e 73583 coq-gappa_1.5.3.orig.tar.bz2
 523b99c5758d998e414d9525d326f6e2792deb22199777347e017479d66a7130 2048 coq-gappa_1.5.3-1.debian.tar.xz
 fdade3efb99dda0793efae4eb1dc32c4d913971ac7c2eba44810db5b1a37ece3 7472 coq-gappa_1.5.3-1_source.buildinfo
Files:
 d3beb864f38e227f5542c87dc798325e 2073 math optional coq-gappa_1.5.3-1.dsc
 d502efa84cb86877706afeb45c5c0250 73583 math optional coq-gappa_1.5.3.orig.tar.bz2
 8f40adf0ada4b369a1accb75cc2be881 2048 math optional coq-gappa_1.5.3-1.debian.tar.xz
 f75c2631306fe570b1e60f2bfc61b772 7472 math optional coq-gappa_1.5.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+WISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhBsP/1vn59DJ96Hui3nXsItZADU3q8Jk7WZ7
JholXtZUxrzv58Qtryaei5IrS2k/dr4chTc/IbeLEcu4YKuxCjyc6pGcfCpoEsPd
Yyam8ACfoGreji74i5jv5WLgOp9mOIonwC34DwkKH6LezWjdJE65+yJWG37KRy30
WXYaBe0ft4mJzNA+WPEDFXSSv1Pu5+yVtoMTBSvYfkZFCLMPTsf2K/fR6bTdRI4O
djgVchNP7m99VWUt2zrQ7vOJy5c8GBSK/E7JdbU5/LWBIjxWvVBSIC/+1JnqzXBT
ZmtZmiBQ8+qihQxLdXa07chDGbG7uaJ9r4gzKbAPS7KTfflsbhR1AMJkkyhmwH0x
CIkzayYUnrNKCxBA3ejJpw5vXAPYlw94WSIV63+tbVQTSpyh7aKaCLRqzeZ8dKcJ
6y9eAZCoGfUZs45WjIoHTApcl1TXDskLe2Sa5UtbUai3ZIVzjHyytzvrNfOJWNpZ
97B+8xqCyvRkg1si+rhBlARHGEqtl6Bgq5S+CXT2+gFW9g1wpSVK6SZBi3MgrzE1
yub+dQrVaDzhNPP+l0stNCho9tWgJrsY+WF/IOkK4NI1nATdzTP7tFiPyvuhd/Fm
y+72Z9UrwiaNCeiW/pUxV4wZTur/LmbUezlgoKCeRG1E5XkxpniTfzOXChpP+2gI
JCoryvH5yhXZ
=LyDD
-----END PGP SIGNATURE-----