Accepted coq-corn 8.16.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-corn 8.16.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 27 Jan 2023 06:38:33 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-corn_8.16.0-2_source.changes
- Debian-source: coq-corn
- Debian-suite: unstable
- Debian-version: 8.16.0-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=In3Vz1nvlf2aSrs7w6/e8xEfl0yCO9jnkpK9S+rfm08=; b=d38Nv2yQciamr8WsGyYvCKxLo+ RVPMLw1Iy2BpB0UnkjHwugCsRj1bVYaEv+fC5ZSV/YcgoV0e67SCZFO1QV2gjCXXF7Ul4jaM6QVUh z3dSelRMuwTsd+ag/mW6BaoRktMnfJYCFU2BXKhi84DaMPv9GYZiYD4mVDbipNE4y4YEVt6s1SpI/ Wwtt+zOexGKblJygPgxZS4OmzeTvfqaRmqunX+uooXJPk7JJndj7Ngac9vCzFLdPei7L/M4CNj9DR v6MbtB4+NZ6w1QZphQl1rXJYxBqA+wzBtCtudGJ+ctz4MCSsZJt4ogEBM/YVgpadCEoNacOcVycBH rAqlHnww==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pLINd-00D0rQ-J5@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 25 Jan 2023 13:31:05 +0100
Source: coq-corn
Architecture: source
Version: 8.16.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-corn (8.16.0-2) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
6eb07e2f85195f9b506743cde433fc4124459c6a 2092 coq-corn_8.16.0-2.dsc
07e34438c0c4e688b7590848d26ec1f4e12f68f5 3864 coq-corn_8.16.0-2.debian.tar.xz
6432c11324701ae1fc76bee3d7cafbe706dced3f 7447 coq-corn_8.16.0-2_source.buildinfo
Checksums-Sha256:
0de94ce918b49e219981c3fd8989fc4b9bff0635c0ca75a090cc949eadf26e8f 2092 coq-corn_8.16.0-2.dsc
13646e12f91ab8df88b4c84feeda801e3d0ad8d36a5a59803bd3085946c25a7c 3864 coq-corn_8.16.0-2.debian.tar.xz
a496dd3bf33f1f97d048432e9ef8800efa1af447577dce0268217ec87b15c882 7447 coq-corn_8.16.0-2_source.buildinfo
Files:
be8289450a0cf0239efab125f8b40950 2092 ocaml optional coq-corn_8.16.0-2.dsc
c82bc5369b06d107faadfd5fb6ffc0a0 3864 ocaml optional coq-corn_8.16.0-2.debian.tar.xz
326c2e038805abc4fab68a169cb40d6a 7447 ocaml optional coq-corn_8.16.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRISMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRySQQAJqHYiG9ian77YA6A1k23idJs+80QDrf
7LWrhx0tZPVnJR6juXV7QsxBw4EHLdGcYQRQn+wMtP38P3o00URamalMY4Z1ZAqY
0Dawucwie4mFLu/Ug3jGsqeF3W7Z57HE4d87T16dCbR8rC3XVKQpUue8v8wzTrSO
Z656wr5XVxEcUYhr4sQxWwxGlWu02l3itPnvc5T52ANXHyHCKFximqZDLn4fF9aH
8GqzYu1wIiSzGLV0I4NWnm5A2DSUa/v9AEc/DAevXdeNEobeTshd4lg/TvDKb+eI
88DlHvWYXXTlly4SF43AJUFkheBq/hlO+flUTLif1jzuEoOqnkSyiIzcPVOygaZy
YzVInr51cAsViLtZ0S7np5n8mebE0xHvbWZh0TVW0tKhTrygQU7yyTq4KpPuzb2U
QBB2NtYhfE2/F1EUw0T5gCBqNCM8miJQmdppcvthYd6e1f7cBV0MvNw02yeZ5qOe
IlMUya3jAyoqxZkzTGtv0uTQLrdmQEySv5ED7JDaWnNWKFxmdDhumzjoHwh19QhD
A3OVHMKb2NDgILvN+4hPgjoZeIsrCoS8/gjPBumld1Bxl6t7NqKpIDDWs6anWfUa
R+j4PH6Hon+mQuGEhgGflcSxyM5SMdgJHiSZCTidayB1LauGw5IsWLTqKWQFWZEb
oA/b3N9ASND2
=rXdT
-----END PGP SIGNATURE-----