-----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-----
