-----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-----