Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 17 Jan 2022 08:46:21 +0100
Source: coq-elpi
Architecture: source
Version: 1.11.2-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Closes: 1002930
Changes:
coq-elpi (1.11.2-2) unstable; urgency=medium
.
* Fix -dev package not depending on the lib package. (Closes: #1002930) Checksums-Sha1:
69a012f0c2c91d387e13f9b9dd9c90bf00a6fdad 2078 coq-elpi_1.11.2-2.dsc
7521cbe647492d0dd56ab9b0475de6ba03bc472a 3988 coq-elpi_1.11.2-2.debian.tar.xz
f0098e4f8d0501f3f30cd7c6a0eb79794fc1669c 8092 coq-elpi_1.11.2-2_source.buildinfo
Checksums-Sha256:
aea1d2e5c4f65fff7804cc0a79b1b6ab9e511baa87749f2953d3a86c871a6bcf 2078 coq-elpi_1.11.2-2.dsc
3338dc0fde8b3d8a0e2aa7bfb8e37798d5a13d44ac8dc39d6d1250fe1435a33f 3988 coq-elpi_1.11.2-2.debian.tar.xz
fc684947f07d1644f65d05d311026771c01e6261d74845785a976633cfdb39a1 8092 coq-elpi_1.11.2-2_source.buildinfo
Files:
d3c730c4a1ce84521b24b0dfaafdf06d 2078 ocaml optional coq-elpi_1.11.2-2.dsc
c1febf1d9b079479700abf2edb4afcf0 3988 ocaml optional coq-elpi_1.11.2-2.debian.tar.xz
8cc10f3be09bb65c1bf3d89f0f1cc948 8092 ocaml optional coq-elpi_1.11.2-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlHxUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSvoQAIKtK/DhyztOYutx35Z4vUxApE1Tl1YU Uzeq/JuHMC3RnfdXYOjTAt3C+YvrwcBpMnLbV6C0xJ1ljO1esGL/JYFFjfUdRPnm Sq/hjGYX1xoEj0nWyJZC9MrEINU1WEI8zOcC5Est7mi1NUj5dm3voaiaky3DIav/ G/aRW1V5ENrD9gbdUXsO6mfmkQQ2w0x0tBbKSR3qA7dM0qQ+LaiUDLaEH36O3o+s IcGsMmXPBnjn13owOgy/YWP14TQUIQLY7vdsHO6fJkp75VZqBvs19ExOCpJpsmoV /CgD2QotUzqNJg+QdOXgBHm2wTAl4NklvwL/tld89QiD9otTaM1Tdn6uVj/ETXtn zJF4nfJyQSdvuZX+Hl5VhyO0S0V81h217hpumJOHWMHiQtqX/tLdol0nCre+536N pU6+HjCDzJmo9bdaGSmzUUMsCNgspEXKT8c5vpb0abAk1R4yj/ShMe2/GvlK7DWd XZS7bzwlOZXivoJWLWrZPELZei7roQhkBEulj0Hf/IK9bYlwt1OQvlLWLR/x2yzQ gI6xRCGEKMQ+fHz+CW6RFTI4k5svq3u/XAbHgqWgiWrJTehLo3YZ8ZJGzsy2Zo9p F9vPOqn2f6cnZYcG7JG+rwWFzKHHgup1sJAb5+AkO1ztUR6uWLNtUUVwuZscZd1U
nxftA30m1fBN
=Q/yD
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)