Accepted coq-quickchick 1.6.4-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-quickchick 1.6.4-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 15 Aug 2022 06:49:07 +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=BGWNFXfDgqAY2FrD9EzLJXeKz9DaQsy2OWpH8zAlq8A=; b=dN2ZDyqmroeYMm8Ah9wRORfa2k NojTB9Ib+lZbZkJK2l04HTVpj/5X0t6H28xVM9fcjuQ5zPHPfiXTSS67a7z6yRmFXbzFmlzntKrl8 L/+3x2y3X3k+tguOdb4ABjlDjJ4APjmAUlO1ACHGFeJ2EiEn2GKRK9GKKM20yyBS5FZGOSOLNn4Zw 2vcRGNWVqv1sRN56XFear+/V6Y11W0inliXRQuqfI4E9uEMzpIT3FOujnbAbaUeDMGM+cAvS5d/cU jPyRbc11CFCzQcW1enopPMR89JCdK+hxvlJ9Mn+uV3jYaedEeYKzx7/ryRXDmN3H98a4FOW8JkmKP RnIbxz1g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oNTuN-00Ep7I-WF@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 15 Aug 2022 08:26:31 +0200
Source: coq-quickchick
Architecture: source
Version: 1.6.4-1
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-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
5b23e243c92af9a3905fe4322e3a63bb362612d8 2256 coq-quickchick_1.6.4-1.dsc
1dc9e058dec76d8892c3f382d40f4e20f72e45a2 388461 coq-quickchick_1.6.4.orig.tar.gz
f9882361c2829c77a1883cde4ebac28b2d3c120a 2636 coq-quickchick_1.6.4-1.debian.tar.xz
c25894dc16658a6b84c4b3660f696aa116291c55 7247 coq-quickchick_1.6.4-1_source.buildinfo
Checksums-Sha256:
3c0051c6d95e5d579ea141daeb9889982634effe96b382269958ba6b91876b81 2256 coq-quickchick_1.6.4-1.dsc
a8a4185f33f94c20e7414e3babb52d1359cdbe29886a2d9a1584db3a0650f8b4 388461 coq-quickchick_1.6.4.orig.tar.gz
c1af118a73f18db0dc771625e14c64981a1a7f85ebac862a83f4cae124de041b 2636 coq-quickchick_1.6.4-1.debian.tar.xz
7f82540d9f36461c5c9371b46f86180a5611cdc2c8e1ad9edf231eda1bac6c4c 7247 coq-quickchick_1.6.4-1_source.buildinfo
Files:
3f50727278b10e5e9493b4ae15146bf7 2256 ocaml optional coq-quickchick_1.6.4-1.dsc
cce1caca2698a92e8b66158d431dd7db 388461 ocaml optional coq-quickchick_1.6.4.orig.tar.gz
6b9aec6a45d8a07348c893637c5c1356 2636 ocaml optional coq-quickchick_1.6.4-1.debian.tar.xz
676610a795b9d4afc3150fd9e8c39a89 7247 ocaml optional coq-quickchick_1.6.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL55zQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROA8QAInfVy9yz2cE5RRi0APaRdu9SboZ3/HA
O9b6DxQioYSh4dX+EI8Ar63uK37ULWaiGFgVw0qT7TkJesjnqvkzWfHAleIqec5n
rPRmD/n/lhVh3FfOcR1GBOTbQP/XlI/7J3x68k8Nf1rchKkQlzLP6GZ+57nxIKrv
A0pLdJ+1xbcW+ZfBFEY8AosECdRnKmJC9eINhtZzq21AIj7ELimR1CThsAl3sEkB
2sIZY7NCRl1/BM4358049T2YJzX6xumE2qdLSkrMIhLRZL9H7mIrXmy5tn7ygccP
ymNTE2HXow7k5SG0vHtF5Bb5UWZ2SpKwJ7nWUBvsplEQVd0OLxkg0uZvlYmF9F1t
kXBV+YMEVf920WAr+4iFxrTCXKoATe8MAL/rjlORMyt9C5SE8FwkECphPiJzvnEb
qNoewZGdsLW0RZkqyaHCxFeTwn3h26sduxTThqRSDa9RV79egtvOdByD3wMa55Bg
1lXPeMr5JB8VnrchAVV6zh88aErmRX9FRwVR+7deeLh6TAlwJd5tESGOIlYFDYYt
BHw0tQijWpaJEI5m4uAMqq77VVDYmeCzROrVLMptzmhNhgfHFcOTz5TdgC7t6Oxh
oh9rnv0MqFA+2GISU2THCJWLDzqgOwP1l3hxndU0B1j2+Sna21trM1EQpPP0Ymmi
q+GCX/nIWVaa
=gsPG
-----END PGP SIGNATURE-----