Back to coq-elpi PTS page

Accepted coq-elpi 1.11.2-2 (source) into unstable



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