Accepted coq-gappa 1.5.2-4 (source) into unstable

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

Format: 1.8
Date: Mon, 05 Sep 2022 22:29:45 +0200
Source: coq-gappa
Architecture: source
Version: 1.5.2-4
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.2-4) unstable; urgency=medium
 .
   * Fix the Vcs-* fields.
   * Update for Coq 8.16.
Checksums-Sha1:
 79a6d01cf0af568f5fc2be0254325f9843e90861 2068 coq-gappa_1.5.2-4.dsc
 2ae017267efc2ee8f74685cc45235dbd149ea786 1952 coq-gappa_1.5.2-4.debian.tar.xz
 3cbd0eda56dd973f451af850933ed9dbffa5fde3 7120 coq-gappa_1.5.2-4_source.buildinfo
Checksums-Sha256:
 b3ac931c87f95d5fd838c6c30075315f7a438acd4ceebd77c8c5726f1e4fb830 2068 coq-gappa_1.5.2-4.dsc
 c4387183aaad79da90a6a32804a7d790a0e79c65f4ff3d97c02396fdbb4c5403 1952 coq-gappa_1.5.2-4.debian.tar.xz
 1821e42d1e69bd7740486386f8838ec4a21e87fe065b21f7801153ef45f49943 7120 coq-gappa_1.5.2-4_source.buildinfo
Files:
 9f9f65307599af98875236e27aa96cf1 2068 math optional coq-gappa_1.5.2-4.dsc
 22d8be9df660c8d92ea2683d828e8b88 1952 math optional coq-gappa_1.5.2-4.debian.tar.xz
 f3b57b10ae713d8d4cbb88c1cc435ccd 7120 math optional coq-gappa_1.5.2-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXKoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa8MP/Ax++eRbSFWkPKl0t54gXAA9II/4acXr
CfQrHdhsbnvPAE8SQRLosR5OjM28jve1Ws4ZMZUVKYCsIPWJfBZQ0jBbdDjbFza0
JDmI0r5kw1jWsMfCx0SEcEdobodJBYOX/mnsmlHyECzlvSdj6keY4XPjKTDs6MQ9
EqCY8xGj957FwViHWakT+AKkHKYz1eJ/Wkbi033DytXqpWxHLMKUwFwiXtRV/b2g
fiiA863y3j/a76hYpl+FXYAbzgWrb7NzUDiPcI986naxSrL5heZ33SR+OkqllQLb
KUxz34JAfUhWNfutZQQiYBUE1bgXHMuU78Ntzvbqdz/ED1sZBlL1OiihiXjQh2f2
SryevGqfH2kHuWSOBSye67YXKa34xSmzazSCjcwwrdURKJ4R12OtHCLRq4wlkTpP
vNagNu+kdU3AMsk1IE8A7E9/rfMJJMNXfXuAGR6ixleHdN5DswdtP7T3Ny/00Ot5
mY+8wm8iN3FjXAwu7bSnrGDPj9mL//x2Lgiob7Lj3QnblI1XrRfxYU+fISTw/EPl
Eq4/QhqCvtLXlzbyJx7gzfMpX6tEnWaX4gOpmnnSHo1iZJ58U/nM7y2hkl20Wuo+
1vGjKV19GIwKWcjrG84dez0PnTFdfcfFQmI/oRrYMOyUBKk6Uf1tdZK7ERuOsdWZ
1MumN76y/Y2y
=Jxdv
-----END PGP SIGNATURE-----