-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 12 Jun 2023 19:33:16 +0200 Source: coq-reduction-effects Architecture: source Version: 0.1.4-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-reduction-effects (0.1.4-4) unstable; urgency=medium . * Bump standards-version to 4.6.2. * Add lintian overrides for false positives. Checksums-Sha1: b038900e8fc966f28c81822b412cd988370dc6e5 2214 coq-reduction-effects_0.1.4-4.dsc 81b3ab201d14040e01c3c077b06cc070a2f05422 1696 coq-reduction-effects_0.1.4-4.debian.tar.xz fac7e8cc000dae031d412ec3bcec325cab47442c 7398 coq-reduction-effects_0.1.4-4_source.buildinfo Checksums-Sha256: edcc4a4ae580e854bb561c06cc7c3674efd46b43cc54f5770c64febea5bd0235 2214 coq-reduction-effects_0.1.4-4.dsc 0a9a8e6181fff4b93e42b4ad0ef71bc68f94955856ed1777039901bbf5a5fe43 1696 coq-reduction-effects_0.1.4-4.debian.tar.xz 7636adb6100ff0c66be1c1de8ff832e8a7c0b5121b47c2eb88ef4ffb700b02a1 7398 coq-reduction-effects_0.1.4-4_source.buildinfo Files: 3b36d892d6e4e9552d371f6b8f5a797a 2214 ocaml optional coq-reduction-effects_0.1.4-4.dsc 505a0393732ef4b2dd08f88a686391c5 1696 ocaml optional coq-reduction-effects_0.1.4-4.debian.tar.xz f23083789dc720a2c22710b8c4f76ca8 7398 ocaml optional coq-reduction-effects_0.1.4-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVuMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRO9wP/0Kk3eoFsmqMQ9TPvL/wBgdvacfmOgV9 KTOhVibYJjDQgz8ngpWM8SZIGGDZfBIheoUGSfs7GhGmk8mC785OnrMvSygXWHe+ n9PwrMMg0K7Kp+NDmvLBwX+QnP36oHF4r3yLR/uv8SpFRE2lrIyNrgT5Zt9fIaXz uj/fiWAScie9UxrJRe3c82xRA9St/kpoh5BzEC04FafCxUKMa0WmHi/8VOk/LyBR l/Rk6M24MMp2QBWezneJghh1cWx63mranQ7jo/VoZ3w1qrsUuB5091qfGtG4xdig Abb93TKk+fEO/S95kMq5P+3jLleX88MSRdIM9U01PacVr9RvLnmzBhZIXRB5wDzR 9JHXNAlXbmfTRxjLZVLQiN58phVa9Z1nr03q54A9XjVJe4hEA6Eudj31xFo4BFRs HoA/41BlvaW5hgqGpSaDFBTQxtNWFsWkLjxSVP+geI6JbGjVEO7yNDC4TeTSTlBb SY1WzId3/QcmxQdSzA67fPKy8lFlLO7OZpPBWrf8MF1l7EnEcb8Ds1nCL4xVN9c5 OtmI+9QwN+0Hh0x3HdSu6uvGnp0ZNoqcNvRXI4+e7yAlPv+4E9BIrMzyM4lFPv0C sjPSb6l2RluuE1Jf9UHul0bXA03NFxQlsYGU4nst2SixcUPEoPLhWASkYRGHc0CE LJE8Vm1VNRlu =8hUc -----END PGP SIGNATURE-----
