Accepted coq-hammer 1.3.2+8.16-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hammer 1.3.2+8.16-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 06 Sep 2022 09:35:40 +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=CrmvdhW15WJTYEZLpYSj7xRncGm3CPLbRuOJLNXQnig=; b=qo60/8X6LShjgGNyYrTfnM9XCQ 8xvGEu3UcJPMXgfHRYES+ykL3BS5oAtouUrbZRYbxs1kLpuKVDKtWtqdFL+VpdwRxKWEDDtG8CwMg bhl257yrj0SqQ2ns/dLd86Jc9DV6gR8KajSLWUer8NZiq8TpNRvI7usXwc1RnRbt/YJIvF6vXpB55 tLKxcwaIjaEOMFOXPTO5KEXU2KjnbfOtZx74aFrfnODUzdMM3k4g3qiNVeIpRAkkdRpkzDN6J/OT5 Z8feA7d1KmQv9ajD9i8MkwfMBmnqe9byCEcX3TAPIaIOCJydZIS0mPRnUcSsKv9IwNkHLtR9CBa0t g+U/WcMA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oVUzc-00Dh0H-H6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 16:17:43 +0200
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-hammer (1.3.2+8.16-1) unstable; urgency=medium
.
* Adapt d/watch to new upstream scheme.
* New upstream release.
Checksums-Sha1:
f3a35099cca3901cb1eb8485409d32ec84bb56c4 2097 coq-hammer_1.3.2+8.16-1.dsc
be07a140beea9df4bb73544784218d1e7e383fea 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
c4a28db89db4513b717c860a006dca649949c181 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
232aa6298076e2e814dee5d9d6cf4ad30a882fe6 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
Checksums-Sha256:
54c3bccbc70b83999d2e11afed57f95d815e58241a647fb8024a09a78cef3ee0 2097 coq-hammer_1.3.2+8.16-1.dsc
4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6 148694 coq-hammer_1.3.2+8.16.orig.tar.gz
941ea3a5d7899804c54a0a038954da6303b02ae17be7eb9ccdb0e49793f317f3 2264 coq-hammer_1.3.2+8.16-1.debian.tar.xz
d147503219deb79c2c216ba24b98a62b6d1eecd47d415a65c61018d2ee581f1f 7003 coq-hammer_1.3.2+8.16-1_source.buildinfo
Files:
d47e6abc38d4d4c1a63d0b27071e5218 2097 ocaml optional coq-hammer_1.3.2+8.16-1.dsc
d3d759c01cbba8a4f156661fadc963e5 148694 ocaml optional coq-hammer_1.3.2+8.16.orig.tar.gz
53d5e02872f7b5724708b3acbfa113e1 2264 ocaml optional coq-hammer_1.3.2+8.16-1.debian.tar.xz
7f734b767678f021b803188f69a011d5 7003 ocaml optional coq-hammer_1.3.2+8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIRASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4BEP/jvNQSlZXYOoJBpVBCJFf7QLO83+ryBy
kAA4xNmjs5VQ4HDiAIsuGpvITByPZRE3Lh/jhfPrPxUbg88xFqaPbftV7S4oi4Zs
SmJztLBE+R2sI6yPCxaWstZWNe47icKcuHxtjYwUgn8SzrdG7DS27JWUWw+COyXd
T1Zr9fCYnPq5VLipnXe1eUTJ4sBaegY97yyNiiciOWd+jPaZX0Fak0CQh9VAevkq
z1Dam+M+Kw2gk1MLCffa7oowvB9++qM/xOW2G0ElQJlieO1XCXOhGbE8QFCkfOFa
IHe4ADj5ZJGoVJJqL1C2KB2HwcPJbVva34Rs3exyoXiI6GXK28DIEJasM5cWRSm2
yalq5gRwalAz+1MX0WOhO8F0z6ZHlqSwcZZXjNeFscLWyBb16AFDX34Ue6stYtUM
Vx66gpHUVWPzUCrBF0XZ/3LQyPeyzzafzOzfiOwiQEJ6C5dU5UuU+mctJFl7r9TI
jR4PDXLvULhvwcLMJzdhOr9ffSAL6mePGZRpXfiBt9OGDCeld1LZe7JCPt6x0Xay
Y0livnNRBRj/g+ZF7pdZ53lo7hRZpV32clNeHx9QuJ4WpW262du1V0I4JnVJewEy
P0NrzHTA7zwCvLCID5QLvPaM4NkcxaHQownK4aA0sSmgtswUYDD1yY71LgWOOkkW
gla1rlWS2uUE
=LG2r
-----END PGP SIGNATURE-----