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