-----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-----