Accepted coq-reduction-effects 0.1.4-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.4-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:58:43 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-reduction-effects_0.1.4-4_source.changes
- Debian-source: coq-reduction-effects
- Debian-suite: unstable
- Debian-version: 0.1.4-4
- 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=ZUUVX23gI76ZJUWmTnnbyYTCzZk38As6Mn0D0EKvuGk=; b=V2KNCLrJKQColJxKIT/RnV5Rlh Qo96f/E/ZNHuzJOsZ6wMCfd/IBaMVxZwl1uWJu2hMkotXPpvReVqxJdmS38Q4nSx03fDc+0yrYabM dr1Mpf1K5xeLFCPUigvh9NvqQ+CURfmgLrImX2rCcj9dJlrYYPoscNIo+xfWlQtklu8BkmCy0wjEd HPpy+NktC6fg4wA4gkJ91FiAzg2QnRxd9E7H/V11k2Oc+2LrznfEhz0Tf5QvacLAXyTfHJxe5o3wF nyfqUDVXt96Ccs86wPoEnBJYRRVGQkwEzTjaCMiulBh8o5iercdrPvFP4PpTEwQ0hUdDc0k33/QcG 9qNLQq8Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8ocd-000GFa-7z@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----