Accepted coq-reduction-effects 0.1.4-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-reduction-effects 0.1.4-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:30 +0000
- 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=sTwBDz1XfQ/wpKBnWiWMNKaEdJmFd3eDzyA+CC1uYoU=; b=IW5RZQ6iJm/kGMi9JVj1cP2YDE Atm8Cc4AVK2gDQQoeHUZCbx+oFYYtAs/vBZ7XshxgoWBf3iHg1T0gK8HtpSLc6de3KVa8sCOlIFxc fCfkudr7XGfESg1FVCg/u9nZ1HTCNeet3jRQyCdwBee/iJ92WdX6zdhESkI3+8h/a+WHbJ/n/OBG2 IENdyV2sX9lMmN4iAFbwHK2vtHxwodzsGGu9luq/mqqEuqOfmhxVNSOAxIg1aEXOOXwV1IaZtwiig 7ntDh2n8CZ2XiWmfpbGrLGOUPRt5FWuQWQFr1F/2zKN+4f6aIDvqQWeoTiydxJOZozKvyS8EiuPD9 y/kp8fXg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV0Q-00DhEP-Da@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 18:16:09 +0200
Source: coq-reduction-effects
Architecture: source
Version: 0.1.4-2
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-2) unstable; urgency=medium
.
* Adapt to Coq 8.16.
Checksums-Sha1:
250d22a8527277f1776db994f7c1edd69b705605 2209 coq-reduction-effects_0.1.4-2.dsc
424ab5b82740736846d83edd51e36f7e45455077 1516 coq-reduction-effects_0.1.4-2.debian.tar.xz
64c13af02de62762d6710fd80a46317a13133068 7049 coq-reduction-effects_0.1.4-2_source.buildinfo
Checksums-Sha256:
51452b3236a8cab9bf8628e62c8ac4f5f3aac1e1e94866bc671f7d058bec3090 2209 coq-reduction-effects_0.1.4-2.dsc
5c38ce62266e3085e3f322ee8e671f5d295b61c4856759d6c5c91b8d2982f5c6 1516 coq-reduction-effects_0.1.4-2.debian.tar.xz
b6253548b6ca8303f3d3e7e41ec8639923f2f28f9259dad2ed95015a29f3d6f1 7049 coq-reduction-effects_0.1.4-2_source.buildinfo
Files:
eedb0e67a22c67379a86a26bf3a3b202 2209 ocaml optional coq-reduction-effects_0.1.4-2.dsc
900e3883ae50ec404f950e1b9984cf7f 1516 ocaml optional coq-reduction-effects_0.1.4-2.debian.tar.xz
6331dd1097758dc737811b99ee662d43 7049 ocaml optional coq-reduction-effects_0.1.4-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIOkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRUqAP/0AQBePUgyKqs7652FKo6ML0kQHNMmS9
94NMohecGQafCd/D32MSnvtoP7K937XLocltY5d77582jHO8IonGdLAOsbJS5GTo
KKqHeoV88a6g1lmGsGeULHUNM9X3vb7TVVsxy2OJJZ5UbFN0nfVSuurWOXwUna6L
7HBsD3l5IXouJGvHyImooshJbOKNGyw/YHbw60j9+qVjjiXtocpArtiV8JCyOnM6
QWY1yyvX2VlO/xs2Gj6Usq6qZDRkfvucFftN1Y3+KbJWQoSUyaNv3kNRlN0AZq/M
Jl+kBGxcQ0z1fXUj20UxQJIYeY6pTx0XVWuVRWhNmVUnBXj1zETJmg3LanKSA4WX
XZ7Rl4hwJQJyjlivIbbsVJkv6E3ElA3FzDJaJRqHAQDRrNBF4w0FMGyTzmdCO/s2
1gIp8HVfBdmjNBKYN5x3pjeTboSxZyutb1XHo3d35W4LdpPTvO74LZhfvBEOl3d/
ZU2f6prRRaz4DEIHSRoK88ddlEDkT3BQ7879fFxy1ktbRYid/t5GVMgShZmtL0+b
1ydJhlZ4MuFMK+bmYoyS6W4Hba/aVVX8qw2fOE5Uo9oQKIUmHo1U2XKbI7HJSBR1
hneGb+6clxt1+BQv3DGgoUSOiBAA2WpSX6eOWFxgF/BAwGnzAh8sEuh7ekL2Q5hH
bhO56mTOTnaP
=/IZq
-----END PGP SIGNATURE-----