Accepted coq-quickchick 1.6.4-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 1.6.4-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:36:22 +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=pxVRB3AmbXnLHRy4JyCuxNzzOyKIUBp1E1xKDdaI0Qg=; b=QN3mr0LnflJohpwyU9DgcwlYGs 81mCn7Ly97WVtcCB1f6bLGbvlcEBkAn5VfQLjmXvmH4rm5lNMToOnr3yjIQVmy0dVbEP1qAh7j/gp oIZqB5gtmXMkAq7SLHBrFeCuv86KnSeCov7ot12hTegZhVpPThdw1kZG+fQfeCgkf+ofy4r8rqIuS h4vKGrx1atgKZWVVz4hS9lm1ZJ0ss/BFjjMWTpEUN7ILoRSe9XEXcKEZucJa2a3C5mW1UjrwT/Lsj VJA2xOlxSergpno42UabHwsnJf1R5+k7TB6iU3XL/dC3UFGIrewj9BY74yC8sEqrTFUDfW9Y1R2kt h2QrVT5g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVV0I-00DhCy-Ah@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 22:54:49 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.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-quickchick (1.6.4-2) unstable; urgency=medium
.
* Fix for Coq 8.16.
Checksums-Sha1:
fa18599298cae1f4766f498dfd5bca5366c32341 2256 coq-quickchick_1.6.4-2.dsc
e05dd78abb97d2cbb5d20b8bdc79f3cdb3675ba6 2672 coq-quickchick_1.6.4-2.debian.tar.xz
50b68545410cc0e064f8565c11262aeda522db1c 7284 coq-quickchick_1.6.4-2_source.buildinfo
Checksums-Sha256:
12131357ec115b4b6f7bb8ee8b26832cf77e939fdd38594f480a412126428076 2256 coq-quickchick_1.6.4-2.dsc
dd4dd7d06cac0f6dc4f19c66350052653b348c803dcc076b806668be608618a7 2672 coq-quickchick_1.6.4-2.debian.tar.xz
73734ddc530d43ea001c59caf2f05a21b1c0cb2295352558e9a7f5657c70eb6d 7284 coq-quickchick_1.6.4-2_source.buildinfo
Files:
616b10e08eadb9826088588c66c72295 2256 ocaml optional coq-quickchick_1.6.4-2.dsc
5c9e73cc7cdfc6d2a9fc84c8e31e77f2 2672 ocaml optional coq-quickchick_1.6.4-2.debian.tar.xz
9709ae233db10563a621c5fcca9f029e 7284 ocaml optional coq-quickchick_1.6.4-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWYj4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRc9gP/RTedpHp3WejSq9rQvKgurJ2a/s2n+86
NtJuJgBSA43AOm4pvFKaWOxrIUMnaMT5e0zGBnV/upObr6BkzjpcDjfnZxP8h7s8
Q4vo6ObogCuvNbrxx0H+IopwKW8Ce4+BSU0JdaDl04sgQgpBaH4wz26BIHdkf/A4
BBt3oa0OnMxufTz2DeLRXSctP4Ay3m0DVNRhdqTQpEboKl0XBzrR3nA2X9mUzxBq
pAWNjaGRizEw8eu9TT5E/k6iUJSU/NFuXR/2eqbRX6IRJhDlyVvTarm9TH9UfpYn
StaHMnVSQ04F1IQSVrERe6DEeaExq2wz9Jvw3zNtk8CkC/RAPJ0PwzjQpxy1wgMi
EfZFX9ux3RIOfjrFUxR5mZhjnIXH8O2FWpqGbW6Uha8wWgQloY9qNrOj1Z1RKnLR
mka0Z19ErCwuBi2q2iJ5iHPTLOUcgAaay6hYm02KyzuEJOHA0q3/Im203g6s1RXn
DGZnQ+my8OLwljvWRjPHGcQOivU0tzA3OmDB9MlAc8mpimFsnnAw/WdYFuTsmAKb
TNNp0jAVAfNOJznX8zzPv0IByGr41QcCsGW05NCP1Ezk3vBuFunbSW8xC98puC3O
EI6ix7FcGBKNKXkYf3DSeMeAhpheuOp3MK5f+o2nrQ0G4KefyXp7mRDF1JI+N0bB
KjxpTuqeiFFK
=Wxi0
-----END PGP SIGNATURE-----