Accepted coq-stdpp 1.9.0-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-stdpp 1.9.0-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Dec 2023 10:36:15 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-stdpp_1.9.0-1_source.changes
- Debian-source: coq-stdpp
- Debian-suite: unstable
- Debian-version: 1.9.0-1
- 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=GGxCCYoJX97on1ZriBfaaYbadGhh4N3pDP+tMy/r1M8=; b=eSsUfb2uB12bz9fp0B7ooJwZUA RWpPTJ4yYjySl68PK0WFzO4J1Hh6ab9sr5uRqBkjNzu462opzPHeyw5mXnpkezWk1o9dvNEbsUrCt iQfa59QLEkLC7ZltqSnugNlZjyLA6gUqVXRjMTxnb/sOuF8JihDHkyb/amgbpiyj6K3kz1WurL/ef tMkAQq3GfeoAJESZ4qiXn8ZKMmMkaUOgo9GSGyawMtLNdTB/DuOjJYJwTvwiuIhXKsPoowG4B35Xm bXvnlnHVi2h314rF9ivQUUveYXHIZnWADhY9aRu6hxfk5GRi8i6CM1guvdutXXP3260DdZjEZ/Tzk J74H309Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGct5-00DSqh-28@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 16:32:34 +0100
Source: coq-stdpp
Architecture: source
Version: 1.9.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1045073
Changes:
coq-stdpp (1.9.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1045073).
* New upstream release.
Checksums-Sha1:
3432bcab695c8552cc0457015701d160795523b1 2066 coq-stdpp_1.9.0-1.dsc
5b465d3b0477bf26387673f1586f94ae0a99c50f 297515 coq-stdpp_1.9.0.orig.tar.gz
3ecbe2cdf699b543b299ef580f1c38a25de01bf0 2596 coq-stdpp_1.9.0-1.debian.tar.xz
c7151ac2ae2614ee821077aa794dc2b670a5b4b9 7832 coq-stdpp_1.9.0-1_source.buildinfo
Checksums-Sha256:
16cff8fb1e65010d4cf08f9cb0536825992e684771c663a7651c4953044915f6 2066 coq-stdpp_1.9.0-1.dsc
2bcfc8d1c7eb9e85a9d043080e36761b77597c5d78573628a826c38037c706bc 297515 coq-stdpp_1.9.0.orig.tar.gz
e7a20b96ad5532c5aad52ac33ae9a5e5820f53671e8690de59a30981e76f5acf 2596 coq-stdpp_1.9.0-1.debian.tar.xz
dd64dccdbd6ed2ab43fb4bc6565645ff5be2b1bea65a59143c57d63370061466 7832 coq-stdpp_1.9.0-1_source.buildinfo
Files:
e0d6378246a48a44832423d2bab2a9cd 2066 ocaml optional coq-stdpp_1.9.0-1.dsc
af01b3c7ca246aade275e96256567d65 297515 ocaml optional coq-stdpp_1.9.0.orig.tar.gz
5a88943fc2f167f8c971b01f8ab26fb0 2596 ocaml optional coq-stdpp_1.9.0-1.debian.tar.xz
0fd34757104641c006c751e7c271adea 7832 ocaml optional coq-stdpp_1.9.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEWq8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRjT4P/3hPiohOKVRgpbDqVVhxLkY+iWWbadb4
UHmtGQ9syKIuTZrTKmGjg06OqAM77KVMl0IIUW9UCtCkhyd/TK+L/InCpMrGIqUt
oEXXOfBlIRFtUiFfhyguAcEwS7j2wBMP6CM/wBEFOxzRFt8StyzjG6BgTQ0d1TZm
/UoOknFBipMh1xyhRq4N9bOyw6cDUveUNcOlEd/4ipUcXe2rggRCd0VCRbnVWIo/
eBzILnxLtNpQddUffMHl3UNdbEAR/uH4lP+qEMuZyIM04CM77axWkqnyEc7QY7Ou
6CBMUAEPoi8ppa9ytQAGZ0gYsYm7M+hftw2ra1MtFmt9Z9PEvEQa3XnCkTQ7J24x
GtIuPrxRHPuRKFLbmGfbNjhcbcqWDWp+/s0A7eK2AY1WfxC560s7UQw60lnfDmkg
xIS+u9nQeGHz1AkF8ZPhm9wdyTC6xj9PXvLL3IqrxPPIDvKF8lHXp52nEyyN/+Vq
SX4R5nFeDSUpfd//ovLap4dS9PjV8Z+cI3fkl71vxEOCxQNnw6SWeUQ7/htqcuRI
76T7X10CsNMHF9c+N2KcBP/WxfDSSm0Rr0wkgY8RhnROuUf2GNB6j3eLH8qvx2db
alFMmHLjpPQrqTFa4RnfKlBSWUIfWbwbiMToPO5wBfq9ZgNeXB2iiJy6zrCP1Rlh
C4+n9kNtUIfW
=TbB5
-----END PGP SIGNATURE-----