Accepted coq-hammer 1.3.2+8.16-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-hammer 1.3.2+8.16-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 25 Jan 2023 07:05:27 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-hammer_1.3.2+8.16-2_source.changes
- Debian-source: coq-hammer
- Debian-suite: unstable
- Debian-version: 1.3.2+8.16-2
- 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=GkDxKRvu7BWUDafYJlZWvZ2w+/m96uSX/mzgpabmzY4=; b=IOc2VwjgkHFhGFgaK0JrIy9Uwj CjkuJmvG3N9K6q5DEWeIU/quDNUqc5lTpkwEn7WpWrq00JxQL+qZWfPPDtzBePTMi4kQhbsR0yYFi wZhW8xfh3T1Y4/ltCCTSCsRi1rR2iktcbGsCaPtaySkGJhxQ8hJPnbQNYhADM1qa66qUl4IkizYIP ECMKLbLzXgmtzGxuGe6s1OurBt/0fWvJ2H9b04lGr/ywwlm4jn8rTkPI/NfknpEkV2ax9vX98HR3J H+0i41t/6IE8VgE1eNMsmB0Nb0nYA9lUdRc+iujk9GjVVB9rXANVC0dhmues8Nzr5cDRzesIrioTK Ct09bt6g==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pKZqZ-002ksv-HA@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 07:50:31 +0100
Source: coq-hammer
Architecture: source
Version: 1.3.2+8.16-2
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-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
850d0273817b24cf94ff0a3d5763f9f152ec9885 2102 coq-hammer_1.3.2+8.16-2.dsc
de4c02e9f3345f1895ead397eb4dfaa0f0f5c2ae 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
18691c7e6ca8d7510e573fbaf9899764c6708b57 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
Checksums-Sha256:
d3c279a1075082df4d69c99fd99ed13e0bdb4e4f26ee5737a0e5cfe11aba1cc9 2102 coq-hammer_1.3.2+8.16-2.dsc
7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26 2316 coq-hammer_1.3.2+8.16-2.debian.tar.xz
cd07ecf33b03a6f7204cd4d87f8ea5368333599239641e6a67f9ac5bebc8874b 7403 coq-hammer_1.3.2+8.16-2_source.buildinfo
Files:
0d95afb175f40674d5ab6493bfe23394 2102 ocaml optional coq-hammer_1.3.2+8.16-2.dsc
53e37e2e6926779de21ee3c5dd5a6537 2316 ocaml optional coq-hammer_1.3.2+8.16-2.debian.tar.xz
8c4e8c3b632d60baa4fa8ccc6fb2ead7 7403 ocaml optional coq-hammer_1.3.2+8.16-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0WoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8n0P/A8zbpVutZoXt240SHnS/AOo8WaHF2SH
lvEbqoNppnVP7yJqm9JBnedKNRjMfsVDm+mfKPnjzCqCI4mMwd5Nb3Cx4Cvt3lua
TDxnbFMN8upqFX5EkRILhpgfKXP/iZORATkcxmE9qcu32m9IPRzbfxtmxVJZgJTx
VyEy2Ja3WmEM2p0+AoBzw6BfPLhxqjhb4DBZQ7jd5Sy8210yXyDF+7f4aQn07rkG
IytBU45XqQi7yUttE5AQFNSGZzofO5nL0zJDEbHQB7aIVfa+noYvSVquK2fgIIZz
oER2KO9bd+L2VKwRxpuh+J+BZBA1jDDvzJaUDHhT94HpHOSQzNdCZsbCC4XgDcoD
Cz+l602sbVyHEOS6P0R95gEGwWJBo4SDj9rKJgub4LWzMH3WmTU0qjp+l+TMm8YG
SsA4uT7jGRXj/xeKbTagh67N4pVf49lZtWFNCKkg6pMLlg/fBVWdeE1CdrSjfiId
txvVeojLqF3036fLU7jlX6s4vrSCwZReSSNbxlyw+fG8fl9qOQFionhbWcSGku6x
uzPqINmczrBpOnwpTgK/iBsUVG+mDVKMmjgl/ujxCuCrA7hZYc8KM4d8b0zlhMn9
fxGYdPkF24wPvu4Sdo2awWbAjLZutiqaTxXvkcuu0KxYcX05Wz5aeoiQ2NZz4F/V
tYHM6giezTLg
=6NmJ
-----END PGP SIGNATURE-----