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