Accepted coq-mtac2 1.4+8.17-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-mtac2 1.4+8.17-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:05:53 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-mtac2_1.4+8.17-1_source.changes
- Debian-source: coq-mtac2
- Debian-suite: unstable
- Debian-version: 1.4+8.17-1
- 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=Y+IeX7vfAoFERqNIUK4oOmyM4007Yj15G3zwNW9P6OY=; b=E0OAMH7Ju54BmWqwy4epdZ8FKP 2MXcrid2ifrfUxTVdT1/8N3VzLoG5Xxskise/29knVD3ApXhiFDHx318uC2tMuKuhHgiAHLsi/eI6 l9cLY3PW5L45URY9v5//BEdzn+c5/7PvzlSJ9lUh/uLsms4IX+WDsxDzG9XKxTMlQMzXMqoawjrWp pFrkTyea28Aa+3fg63E+nXIDN/+oaCb+rxvG/9GGsj2GO+TCs+OsnexCdetREsG6/rFIQ8l0MNRtP Cpk8K4wdffgTS8vfbvrxY5mFFbtIrGjk4gPe4zsy1EVj2b1f8LOUewHIcIgNtGBjlyBBFNl2DhiRd Z3T6u+Hw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8xA9-001jv0-Fz@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 13 Jun 2023 07:08:31 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+8.17-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-mtac2 (1.4+8.17-1) unstable; urgency=medium
.
* New upstream release.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
c6ad447c0b8bb47ffe96ad422af9a68505a594c4 2100 coq-mtac2_1.4+8.17-1.dsc
791d696ff52ceef45b12b87c520190abb807fe82 251587 coq-mtac2_1.4+8.17.orig.tar.gz
b43aed28a8e2fddfd2728f2b2642eba1403c3e74 2612 coq-mtac2_1.4+8.17-1.debian.tar.xz
4f1900be90bf58eac52c0608cfe06c267186d940 7374 coq-mtac2_1.4+8.17-1_source.buildinfo
Checksums-Sha256:
48ca9ae3e4df066d331ba2a4250d49a1f8141c40f609b2f0b2c4b12d407076e2 2100 coq-mtac2_1.4+8.17-1.dsc
88795eb5a08debde60ab1a2eb7c9925fbdaf561e240e3c807528dc84242b555f 251587 coq-mtac2_1.4+8.17.orig.tar.gz
995fc9adc8d9858b900a363e2899668407909ec06b043c9876bdc8ba61b28261 2612 coq-mtac2_1.4+8.17-1.debian.tar.xz
dd90d83e860e28179c016ed2ed31362f614bfe068ed9b38b9eecc1790207452f 7374 coq-mtac2_1.4+8.17-1_source.buildinfo
Files:
3a65a41ebd1391bd80fca45998705b63 2100 ocaml optional coq-mtac2_1.4+8.17-1.dsc
6e43b1df6988622ea2893491bfc64227 251587 ocaml optional coq-mtac2_1.4+8.17.orig.tar.gz
ceb4ea50fc9825c90f70af8e0f0fd150 2612 ocaml optional coq-mtac2_1.4+8.17-1.debian.tar.xz
a00689cf3cb45bc747bee02bbfce9d7f 7374 ocaml optional coq-mtac2_1.4+8.17-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+dUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR1GMP/2ZxhbkzdwWvLNMP0L0R56aOyp4l2sgc
6+gr2BGWu/ReSQaR0S46K1M2UF9z+PvCF9UBH1dr34DvWWKxtWE6HDYb+fL7lxk6
Z0PUwDt3zJa28Qzcv6bAQBbHkKxW7QnXlFwCbLmBN8cTAyUhW2QESfwApppx/XVS
bhwARZQplKGNn2+9tWvsf9r56a1ZXWQYjCzR5TcBxcIPYKr7ueLDCCn+wqXZTnP6
NcWQApWF19u1eISlu3xAJVNqehOufEKK+baWiJkSTXOgTn7CzVrvwPKLVksFE9/D
dDFbE67OtYp2stsT8i9dmSDbgQbOVCLFNJjLRPDE9vS8eHhkbHtgoZxZOfIpvnXu
jqYY2qiVmt73Ry6JoNuh3xmX8awFdvA/MPx6kN9Q+cAFzC4rkOSDj4bROsUbQR5k
Re1UCgsFkAdztQNrRoSysxtJNTHyzN8rBzZqBgMV/EpsPYLbNbgR020B+M2XQHlW
bAjCJeYorqUIPkQkN8nfv5Ek+3WSWpRWiSEXbnxcSS83N5ZocHUp3wYANgj1FoiL
fzCTXp88yaXyIyJQvUH2Co31aRXhGJVxHwPdpmfcJWPe7vgRBx31gVn2c484HhaH
bhEo/lDI1Cbk0fRy9vA7757vG7xPE9RHC+hAwQteIliM0hyMfZbuF777WXX5JPAB
/yN3Zoe23W6i
=69ZI
-----END PGP SIGNATURE-----