Accepted coquelicot 3.2.0-8 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coquelicot 3.2.0-8 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 26 Jan 2023 12:50:51 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coquelicot_3.2.0-8_source.changes
- Debian-source: coquelicot
- Debian-suite: unstable
- Debian-version: 3.2.0-8
- 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=wEFWXCnssU7mR5PwZ1IQ/E40lv6PyoeYK9/PLxJQRc0=; b=qf8Lsfx0ElF29hdkyc/gSMxIuj YH1tywCos0Q6BuNNm0boJa3HRBToS6XBtq5bvRZ1TDFsunvgc1RWbOdnULhaoxhOhGunF+cxRvvpg qxCzFlDzM3WuHYVzE8y/9f14xbu+pNBMTda/FvaIyoXlSBb8U35rekyF8jsPi61sYWaZUus0pj6eW 8OI7cXN8pJ0h0eNHe7eCvsb2tzhxRvaoswpAP8zMO7v3faI+M97gc/YtH0CwUG27uxsxwCUt6WMrq X1ZJc8McZ+urqB0c6/++gtxKkBzkDuiCx3O3nBWx7PTfXRwlKB9OrzOfZqV6ytxy0mUhCzGq3TKJN Uy7ssdRQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1pL1iN-009Ece-LT@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:17:50 +0100
Source: coquelicot
Architecture: source
Version: 3.2.0-8
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coquelicot (3.2.0-8) unstable; urgency=medium
.
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
6639370f9e7fc0d34192ec1bb2cf8b7964279bf6 2085 coquelicot_3.2.0-8.dsc
de12e2a4d9835e07ff9f3b2d5abbdb45d7857a84 2372 coquelicot_3.2.0-8.debian.tar.xz
0b3a460f149419d5bf06c175834d08c3b1a5ca3c 7427 coquelicot_3.2.0-8_source.buildinfo
Checksums-Sha256:
54a58b10010202ce6e65ffb59a4d25f90cf931b0a5fc2b48f89b7404fca0dbee 2085 coquelicot_3.2.0-8.dsc
fd4ed5eec2e14bd70818b23a329266db878db3ac0dd14162760a8d6bd95a3653 2372 coquelicot_3.2.0-8.debian.tar.xz
3f1f40da285b1121156f2005a38cc51ccdde0540bf5145ff2154e57e25fa0475 7427 coquelicot_3.2.0-8_source.buildinfo
Files:
727f3739cb6fcbf9b2d863463f41d7cd 2085 ocaml optional coquelicot_3.2.0-8.dsc
4c448eed10458e20e3ac1b37a850f410 2372 ocaml optional coquelicot_3.2.0-8.debian.tar.xz
d8b5352eeb70ab38e83fcbe27f2f1e5e 7427 ocaml optional coquelicot_3.2.0-8_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRHfwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRwmQQAJAK5BwTapHckSS+X+po1P0cMyhb16IH
NNloOdSKtQ9Ld+b8gzYi9U6TM9M1SuY9H7tBz1DFbnYFBPin/ugqL0Sha0LlT2Rv
eai4xRxU999FJnkaSP+I5a34FeByTOTbN/fHk/NySmQCVj1mT9bo88wIIUuy9+El
z7itYktRIBaUstglUxrR5CzNym24LA/EOgME+5Lahv761dsuA67mhh+uPgEfHDqW
xFlSYqbYc81ZFKThMUMt+W7E1HcUcc/MWfikx8NnvaGuOY1d1y8ZJA50J2TmqDfT
yITp/RNh4nzEWlCeVzrTo4kInaa9D2UAeSGG58KweQkOvXAkjx6KyBQdQKFNZ2wH
1qB4PZI7tkJxiIhu30uYG393DB+gODMd7aqhCHR1TgXnrhekQpKzOS1w7D1+1QRA
+89tYroKm4MGmFjGuAcdpdySMpxIdHeGxUaKSum9dTBHYc9A7fYbX1emjttaYme6
xQGtCIwaUGNsOiYH2NNkj++QXjpJkCM3HJQceZMWshz8O1TeP+G8wJpN9bvkPq0i
4E9a1m4ySAQHYUlVSWkoNF9ppH4ycGQMJ7odBr/IQbseSkywjAJfHF/Q+j0U4dbZ
zYJ0DgFm4yElgi9jMZwMrJmdOhCWDIT1UJ/n7mEtobn5mRDT/qaaW3j6NEQ8Atqq
ug4ZgTY8vIHq
=q0X5
-----END PGP SIGNATURE-----