Accepted coq-simple-io 1.8.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-simple-io 1.8.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 13 Jun 2023 06:06:01 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-simple-io_1.8.0-3_source.changes
- Debian-source: coq-simple-io
- Debian-suite: unstable
- Debian-version: 1.8.0-3
- 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=khMlkuqOV//hmiSIRrtd5SqHrMh4MrlZ7fwEaYDZcMo=; b=G1HX0IdwJOlPJLnmyAHd8/G/4H BhgNeC4N+ZR8567GQp0krNwLmI8gvwN/E4+HsVf6TTglUUXFkPmfgXhjUEx9e0Nx1SNgcbGnNCGkJ jwv99kTFAA3vH+FMU07/9z5UWH8dKUAMIaSA4qw5vRb11EFHFFbHEGpvN8U3xKyWBWH474H3iZ7uv NkePh4qTxoARlHWKDKVdOUrWDQiWixrMlPoHVQ6BTmpzHuvMmiLjN/H19q+7t1AfdXVbQrukxfoZi 0lvoJu96uVkw6E6B7sp2GTcXEOCP5h74Yv8ilEWcPiffiPDhPAmYbz/2UMDZrP5znhyx3fQcHCCuv OXqev8Uw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8xAH-001jwV-7j@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:09:25 +0200
Source: coq-simple-io
Architecture: source
Version: 1.8.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-simple-io (1.8.0-3) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
e238e6ba2c56323d34628d8693bb512d6bf0b6a9 2151 coq-simple-io_1.8.0-3.dsc
18154cacc0e8e3713dfc042ad462864ebc38451c 2172 coq-simple-io_1.8.0-3.debian.tar.xz
4924d88996026a8fe756fdf60f9668b3973c7d3d 7422 coq-simple-io_1.8.0-3_source.buildinfo
Checksums-Sha256:
2d2dfebd7d7c0618471c646ef02dc4d07cb942c0105deeeb79f780f0c4fdb4b7 2151 coq-simple-io_1.8.0-3.dsc
434ee50df1148d3788b409a5afa8cc7fce77d13847c0e73adc218ba6e5dbdca4 2172 coq-simple-io_1.8.0-3.debian.tar.xz
7753e0979863a4414d7201fcc6874dd47974242222a346860f91a07c74106b82 7422 coq-simple-io_1.8.0-3_source.buildinfo
Files:
0f3d13185cddf83f1f7479d7e400287e 2151 ocaml optional coq-simple-io_1.8.0-3.dsc
7d38b3eaf3f292d9e55c05e32191dde5 2172 ocaml optional coq-simple-io_1.8.0-3.debian.tar.xz
3d6e26ce4f14d19aa94d68360e41c5d4 7422 ocaml optional coq-simple-io_1.8.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+goSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRP9oP/1oG1iC+veyimZzfxxWBpCPvRhXZaJZk
RfxsXt6zWVBb2fAdMorYBAvF9BK4Vz27m3tRwfK931dUBe197kOlUJharGfm5eVC
mzdUnRqFI9AM4v8/3kSWJe6Hy6c0Q83NuGj0omz5W0iA2t+/9NKyp9SvqtL/FSrK
YzN6wI22HDLg67O/dkgSlPlH3Oj8hXGBrMHe6hI/gPci1AJqmty5ncjD7FIH1IKG
uXWqzorycmObUU/8njNPzZVwv74rIdzm0SN1wOg4lhKpZirLkU080sr36GtWep4A
OMLtKaTB34yiVuNpJxL8JGlLu/gvSWbzcpr9LfR9YoUmiTsideXObe3JkjupTZVN
XEuKE6Ib/NvL0Fag0Lzmg5e3jtbJ5ONzKyLeIyCrVYIo4LwE2yGEh9XvZoPeLiai
TUh1bVALbHHZ7sWWogGvrSn6ABKCMuIuCTMSXhLjBkXNOB87i/IcdrR3c3/mxMJy
JSdS1Ss+KxLkduW2lW7vQbbkW47fksIkztXRVPImS7iAqhz+ql2493tc9hDQVQHW
zXCHXaKZvdKuG/XtX5Dd2ge6ztuXUmNDEPP7JpC+9LthJe68YWJJQcVQs7LHhkIU
3xzKyJDgD317sw4uObbywxSJPq398KynGrIKxyoeVYkJV1pSmoXtb/uOwO0rQaW8
I/H6YYqWa/a9
=4vjl
-----END PGP SIGNATURE-----