Accepted coq-quickchick 1.6.3-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 1.6.3-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 14 Aug 2022 12:19: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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ubUlBuv+xVl0FLvPz0K0gHogRMo1KoNTT9yonWK3iKI=; b=Bvapk8s7W+a5G8ilZicswhJvdz skTvdlNaz40m3A7ea1EKuVkFgbDEBdaTRSgYBkxvLgzPnv69qXqHEFJw0jwdsx3veKyPLixADbpQk dC/xkz1MzR8vCcImx+EZDX3NuzWeyocJZ7ja1I+T1q9FTaQUNVO7ABaTd5k2xPpOy6ypugBZNSxVO mP9JKSO6HdTvMKkrwcJuS6SZrKDcwkQ+wWofrg6BGySeL7eFfNfYYb5d2boMvIE6b/YQsBSxm91AQ /7Y5HDf3eBPT7k1H+N/EIyiLSvuRmuvFCipROFmpKTSdfZ+sf1KTxWWkCLphfYwFiuYGwp41IjZBA W1tsqCAw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oNCaQ-00Ao5z-Kf@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 13 Aug 2022 23:47:35 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.3-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.3-2) unstable; urgency=medium
.
* Rebuild against more recent coq-simple-io.
Checksums-Sha1:
e08287a94d52e72e1e2e5843e7368f807e10b814 2256 coq-quickchick_1.6.3-2.dsc
405a376936a2a566bbfd375e2ddbbbca82c20807 2616 coq-quickchick_1.6.3-2.debian.tar.xz
4e0a27f563bcb51f074d0be60fe8faf531737528 7250 coq-quickchick_1.6.3-2_source.buildinfo
Checksums-Sha256:
280e96e1f34d7baf7033cba06e5f1f13e950ee7c521a8f3fdb0da5f927e53a77 2256 coq-quickchick_1.6.3-2.dsc
c7cef8ac51c1784636c363a839e17ea033547e5a3e4ec0b240fb3722af51d22a 2616 coq-quickchick_1.6.3-2.debian.tar.xz
352aa3dd9f6c75fa8e59fb302d186611a84baeebf065bb1a46286f2de15670ce 7250 coq-quickchick_1.6.3-2_source.buildinfo
Files:
65e955bfe4b54ee2177fb5e7dc796585 2256 ocaml optional coq-quickchick_1.6.3-2.dsc
402319ccf2e43fa54ee7a80486f454ea 2616 ocaml optional coq-quickchick_1.6.3-2.debian.tar.xz
8f08c35c4e58211e96f18a104b4d2bf1 7250 ocaml optional coq-quickchick_1.6.3-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4HBYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVREdwP/2JTkrScQKJacL7VO/jt/7ndlaoNVc/J
qFjJ7myjlUjaS42FgF2ujtfFwMoDeK7oVMRuRe8bFDmEoE2ZELZ156DEwgyi+VIQ
rQ7GeR1VTb3EMJ5vSCi+3eyxCLXYfLNg7PwS91nZStR6CJal8XohV7IvG/TFooex
HzF3Hmmn13SyACdNOPcedY9XDhUZxVkwbJHSZKxAh3y73eGRZGQ1IoPSuRmQlMjy
4rW6Q+5zg9z3quVyNn713P4oQ8SrfdO7yGNaiS2OkQCrjUKOumwKcLV/mq8DCKD5
koBzyXzZ6c7ROcXpAxmaxRCIpvlzy/au7Ztw4GQ4Er250Hy0/UGcSiKZzZAF4D/v
x08QIL573BsCHsJKI/23V7Hso5UVRx32sfUT/i4RCte88ms7PlZHAXC9S81b8vJ7
C2EF4rTa+YIWXtkp6yI07Cn5n1G3Es67u/vAjFDM0w+4GOmeTuiZU5oFle67DRr1
/JC5um3AZNltjp0cdnIWCojuzTOw3Gt1vpXuouni/P8HyZaEomFlbc/z9Q2jC5OG
NY4Ey3rGw+B73ENFAJtYImW6DLMmriANF3E8ianwawZ7rCeXtdWxlK3q23F5KFPa
83JzmWIO1HjL/HHh+LF189JqCz+72R7kdUwxm8D/ZkSaB6qJ2NSitCmxPwIvYtsQ
Cl8iF0JtScJb
=0jPo
-----END PGP SIGNATURE-----