coq-reduction-effects_0.1.4-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: