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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)