Accepted aac-tactics 8.17.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted aac-tactics 8.17.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:53:22 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: aac-tactics_8.17.0-2_source.changes
- Debian-source: aac-tactics
- Debian-suite: unstable
- Debian-version: 8.17.0-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=rsT5ZL8kejt3fCdpTkLRhNpeGkulXSI5lfwt5FNwtvg=; b=ihbHBLrud3U2FjJ4COIDJ/DcmS sS/g5vmHbSmY9LJhX57Utea8Y4mmv4cClAVE0QwEZaG0W/uqCJneHRtTkSuyP22pkrK+2z5MHNID5 LQPRykOWIEUXKB4ugmgkh/hEgOfoSe0PSzGi7FuKXxWFJpzpPh8soIaqFovlIcQhK4a7nHXYKjhzX A+NkLngQC0JQ45JyVrNGmrHRc4HhnCEzpYgtBWdqFnbBXYFpTClroxbujB40NJwZZsqmffzxC9CT4 AO9R8uNSRrbFHOUXpXxweMQ8n2gPrk1xSdyxlIzZri/0vxYWb8eonSWT1ft5V9Rcsi4Rx5Hzlj0eB iiEXLjiA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8oXS-000FVW-AX@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----