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