Thank you for your contribution to Debian.
Accepted:
-----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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)