coq-extructures_0.3.1-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: