Accepted coq-extructures 0.3.1-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-extructures 0.3.1-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 15 Jun 2023 06:05:16 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-extructures_0.3.1-4_source.changes
- Debian-source: coq-extructures
- Debian-suite: unstable
- Debian-version: 0.3.1-4
- 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=Uig5+iygnszBKqfHFRe+7r8GK81wP56YSnbHLgdLr/E=; b=Mi8uYCboqtEQZfeGukbAwznDkZ noJ4qcF4k7YeXvGK1X9rAOw0QDqdmk46UBDgG9I3i5o5UKn1mEUKqHiQzx4gh+gOdNujlt0b1gPqB ly+VWPtHMrxr5nu6cXtuE3ohLgmqP2oGx1wh7s+B08PLuIhGhl1qq38nmdkfW17IS2sGiAzPqehxY jU3ewYT5y6hUxaUtVuLYVR6XzvYOehZkVkMC0GckalYhJU3U1NqadgnbniMXBCL6ukmaqc4VQT8jO QMFWAsQ8PubXGKxVrqmPWWYbffirpZb97tB9gtpByvAgBoULjysbUpzycdfR0d+2dZjGcjuY+oujB IbOvpW+A==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q9g6e-00C8OK-VY@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 15 Jun 2023 07:21:29 +0200
Source: coq-extructures
Architecture: source
Version: 0.3.1-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-extructures (0.3.1-4) unstable; urgency=medium
.
* Bump standards-release to 4.6.2.
Checksums-Sha1:
3e9782a920b4d032d95ce680da71a466a885d397 2166 coq-extructures_0.3.1-4.dsc
76085695f19f89da3655e758e48442cb6b88c8e7 2048 coq-extructures_0.3.1-4.debian.tar.xz
d5285ddfeebd9d4ca39d769687cfa4c37fac072a 7524 coq-extructures_0.3.1-4_source.buildinfo
Checksums-Sha256:
32f0f433bb6159adb74a0d561c4906a8d0e7101137ff74a8cfda06081501d9e8 2166 coq-extructures_0.3.1-4.dsc
19680c30e5ffa99d5227ca6a8dda69333b3aac6735d22e77e9d93a8bc64520dc 2048 coq-extructures_0.3.1-4.debian.tar.xz
eff067ec8f9a964e7167c987bf8c8ae0eb0826be410c15fdc3a7cdca779cb2df 7524 coq-extructures_0.3.1-4_source.buildinfo
Files:
a218f5b4d94569b88365e4a6945d1423 2166 ocaml optional coq-extructures_0.3.1-4.dsc
20da45a5b86b8c4b8da85329ef9cb46e 2048 ocaml optional coq-extructures_0.3.1-4.debian.tar.xz
1b77ba5840d46d2d99c36485a2a181ca 7524 ocaml optional coq-extructures_0.3.1-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKn+USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdEwQAIkcXr7y88ayc896xXXSsLF76XeeMS8W
LW9Flgzot5r+cLpxDrtzm8HNxLl8LoJCtPrqscKbaaX/8NVEpWUqlnQCmY6tb02t
rtWFsmvbBxPZ5++EoYJ5BUCM0ze+T4eOSnLiAWoxRScFwVZ7Tdh5AuJEhmyukGnW
y5yedDumhHQzh17bZ7jGZPkuN/e/Sv5okJMkPrVcwbcqj+yQjsyJlsgu/gCirhmO
xLlWA00xcbzcV1irTKCSc+VtFnzubwJg85+oHRyro+UB+Ub4NEG6eY55sUpHGkUK
lSOqVA2NvwNyPBRih4XFTU+pbjksi2/RLqiudYiQf1gZ8x0zSwu+o4oaOC56J9Sg
ZlOrpJ9u7CH5KaT5KEBIzKwyupSW4UdNERnAnOo062pgegIyWB7Ai0SPyHe35f/l
fr9BVslFK2knJ3BrC84T+JU4VHwjH7vaZbInrLCsgqA8iJPfTHIQaRf5vK0W5gQG
4fdYDGBww3ZbLFVK00CYtz0DuCIMDG7/SZWB4O7Yzhu3snwxjbSL43+IS4bifgZ0
n5wrjARHkc2x4VmbgRuLhS1/9Zoc+898JWulcQ+G3pAfF9o+U0sqeLdtrQU3I8jz
iOBQ/UXCtWX0dPpTUbQBAg1MYfYN3KQz4Q17nuMoVV6W5LWIJeEkR77Ww/pWrDx7
PLNDk+kpJbJd
=ocM3
-----END PGP SIGNATURE-----