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