Accepted alt-ergo 2.4.2-1 (source) into unstable

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

Format: 1.8
Date: Sat, 06 Aug 2022 16:55:11 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 alt-ergo (2.4.2-1) unstable; urgency=medium
 .
   * Team upload.
   * New upstream release.
   * Drop all patches (upstreamed).
Checksums-Sha1:
 a488d33a38099d679b4dd8329a440eb044ce79c7 2282 alt-ergo_2.4.2-1.dsc
 da1ce7d8ffd965a0df07f1b519339be90d7c901c 2884553 alt-ergo_2.4.2.orig.tar.gz
 8a02c4d9ec5609a37105ccba776a3c385d43bbd3 6868 alt-ergo_2.4.2-1.debian.tar.xz
 434455a50dccf4f493d3e7292aefe343e8b91f63 15953 alt-ergo_2.4.2-1_source.buildinfo
Checksums-Sha256:
 66abb6be0d30c5d28da703c8e9c7e4c466c98910bf9d50c31622e4dde65b9e62 2282 alt-ergo_2.4.2-1.dsc
 db19139286b82bf15a4ec0f838c2da7df6ab7b68c15a90483a5c2eb8f8c4be38 2884553 alt-ergo_2.4.2.orig.tar.gz
 cdd4a7fe50bea9aa21ffbd35d9d1af1303944c6925829e9a57aa6773612bdc81 6868 alt-ergo_2.4.2-1.debian.tar.xz
 e9f103521787f9c00edef07090a2195df5a37c9a518272c0adef29cffa530f54 15953 alt-ergo_2.4.2-1_source.buildinfo
Files:
 60af692681a8ea6e8d86c9916b2d567b 2282 math optional alt-ergo_2.4.2-1.dsc
 c47327ae132c860890c820bfd5d49d51 2884553 math optional alt-ergo_2.4.2.orig.tar.gz
 3914cdd9e747d20dd76911e32a295c41 6868 math optional alt-ergo_2.4.2-1.debian.tar.xz
 84aade5e32e4364e960e0ae53d484c12 15953 math optional alt-ergo_2.4.2-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLugRYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtEUP/181jfcSYyK8vSe+ayuE58Q798Xxn4B+
Dn7kOdSh3jV6/qpCNjPlix55XU5JUhNhZhGnqDE/VkcS5WrvFLr7Xe1lQEFx9u77
wUquAlAm2fvweOZZiDqmIuAClmz+jeIGvf6Uuy7z1Ie8BFZxPa8zhJZIXmSfT0fx
P3/Q4jhiTw351ULHeTqq/jnHZLzpaWEvUnUGdTmfojGDwavBLdroi2Fp0rbUGbWx
pZ6YZJ0yEzJcrnuJCKMoutaSL4jzKNG/8WEIr5iQmfElmWWsi1ztlRuPciSdYCef
D2RY/s/fNxBAyU+a5ItbcOESHJOkAzj+8bu/EcKxU6mowifoGjCKSBog67K4KqyC
RjDatb2uGc03wFTdZum33pw6w6iCYhlqCTVEajTx6OymGgQZwzFl4hizrs9lGFSC
xYamhJXBmoA56yf62NSNR4FzO7FevohneVTKw9it0fvdhtrso4JLwvWpQw6DHgNG
DBT7U98woEQkaHZjy8rcaHY2ryy7wbjEujbMMnBXyhn4UU59kNM8rf/aOfkzFa2Y
WTMHg+WgWUr+QAd8GSE2lFxokDj5zyiU68nRyNyAF11VxosYNTav9PuMIqOSNAsX
xRJAXiV+sp/Dtp+DGjPeUceYaNqVGG5ixE4vPI9+aHevPak7X9AdAQ0QevkA+mLD
/FpKXTVtM7A2
=DP36
-----END PGP SIGNATURE-----