Accepted aac-tactics 8.17.0-2 (source) into unstable

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

Format: 1.8
Date: Mon, 12 Jun 2023 19:27:20 +0200
Source: aac-tactics
Architecture: source
Version: 8.17.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 aac-tactics (8.17.0-2) unstable; urgency=medium
 .
   * Add lintian overrides for false issues.
   * Bump Coq version depend.
Checksums-Sha1:
 697fc9b17fc7dc49a2a2630909359426c6593c8f 2108 aac-tactics_8.17.0-2.dsc
 71225692112d9595399d0da7a64766bd95261801 3660 aac-tactics_8.17.0-2.debian.tar.xz
 8d00e056c4555a0e52a1f054a8699f76856e449a 7343 aac-tactics_8.17.0-2_source.buildinfo
Checksums-Sha256:
 ee8204e4e6796dd702e4c31a202cf413b60226bd38cbd5c1a4b8606ebdbf7304 2108 aac-tactics_8.17.0-2.dsc
 27c71adce80f33c86f1754feda4d7f1a423a26f5b94440501d137b109b27064a 3660 aac-tactics_8.17.0-2.debian.tar.xz
 1b0f13d442f1e8f7f96f23ede480cc3dc331fc996b1e108b07ac34aa98f277fa 7343 aac-tactics_8.17.0-2_source.buildinfo
Files:
 49f3bb93425ccef39cbce21760a83acb 2108 math optional aac-tactics_8.17.0-2.dsc
 6538aa61bbfa5848c83a0b6801429067 3660 math optional aac-tactics_8.17.0-2.debian.tar.xz
 d05a0f3efbac4c4da915862c8136c207 7343 math optional aac-tactics_8.17.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVZESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGGUP+wd6jdqbHsM+bSxWBx8mTaJPZCrFYXn/
mltxFivtatOK5bmVfrDYHBxbC15TLQDgmwdeC8Mip/bdRfdugCq2F66jhx9dNkqi
DKAjGJJRwSg1HhMLCSlawWaAjazVoDPBhEMfZhkM/zMFns02H2ynuD2p4a1rB8ER
0eEG3Ky+tLBUkLYE0w+ehiBmExfEWh3zrVi66GTcu0cKM89/w0vVmVZr/ywimuqT
zFwub9pXzt/E4UpITN1+628wwRRyMHsoaf9lpCxlHavg7rNXa1ov61ZsnRC9P0J1
0/K2wKoIm3njOBcI1l/eD8IOG7GrQkxtK/iQjvBLmn9W+vtkpbc4FlDcoaqqa8v8
8DbEL2T3sON5clqIn0NMs82dqh4BSYO8MK9HEA9NHaG+g9wsyizVyZIKPKwKnV3z
Hk9+G15PPYAH7Ag6nh8LvrSgHrJI6bWi+VFIGwxfPguAAFW5n7nh39B/EiNPBRim
W/uZi9bQuoFJRupFdfVuvdEbiicBZAS44NqaciD4UAh3YtdXerWcy7yNnHzlEy8L
pOmWIriEd/GMXYzoXXcJ58R9eqDPDXYiRrdr99fJJxsJtClHgXQrNrYhQSnbvaa4
xfJKpO0idWfqnrT8KCybt6PbO3C7FOXaJnFd6FmWSBYZBg1sRHhak/ZK/Mjxyg7O
TVvnra/e0ntL
=pQWX
-----END PGP SIGNATURE-----