Accepted coq-elpi 1.15.6-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.15.6-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 13 Nov 2022 21:19:24 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.15.6-4_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.15.6-4
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=TL55wEZA6yNmhbvwsx0ehxIjsLMLEOowx2wDuYuSTpU=; b=ogpoXBjnDO1rSOIxqqZQ/eirqq 5jicVNM6xaPZqQbePBVxHG8xFJBuYYwg7iH/i9MQ8x7OwYjjsGT/4CisjPDxyA1Fmezm8hH8/4rDv tgTWqGGpf9yH8OZxuIxZEErUmE/oPeM8chgyxbHPtARl3xUWIRf3dykFNys13vhDcwwbJS3iQDeiU slm3q/y6CeRFaDSeM7JZQSglbOLwgn0Nesw3odzTLARxQV+BrS2mhUqssF8Nl5pOJqw/ge6eCuMK3 c/jeTcUbWq0lbQpjRdwmZYrp4kGUJwGDxj80KOm6saIVIL4AyGbqwddUm+hOGQ2Zt0xdArLz4kLsA 2ele21Iw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ouKNw-007awa-1n@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 13 Nov 2022 21:47:42 +0100
Source: coq-elpi
Architecture: source
Version: 1.15.6-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (1.15.6-4) unstable; urgency=medium
.
* Provide a better fix for the libelpi-ocaml depend.
Checksums-Sha1:
7b9395bcab8ddbfe67cff8e17521ee66327e1d1e 2025 coq-elpi_1.15.6-4.dsc
14560613f89ffe95736e5533c25b75eeee7377fb 3328 coq-elpi_1.15.6-4.debian.tar.xz
4e332a2e764df612746110c9ffb36b272e86b711 7988 coq-elpi_1.15.6-4_source.buildinfo
Checksums-Sha256:
d70e6aa81914d6fee02270119b92acf433a29fae1e7070bb9d1204c7bce0ef17 2025 coq-elpi_1.15.6-4.dsc
6016dbb5360a9acab71fde948f34eda90154d6dbacbaaea36cf991613934a1f4 3328 coq-elpi_1.15.6-4.debian.tar.xz
66d352649d6e277835175003c86333ec3d9ff4fe21c051e653d8ae2bf3ac000e 7988 coq-elpi_1.15.6-4_source.buildinfo
Files:
07624b99c93d3d6f81e1f4b6751fee08 2025 ocaml optional coq-elpi_1.15.6-4.dsc
d56ef3afd032eada835055463722873d 3328 ocaml optional coq-elpi_1.15.6-4.debian.tar.xz
b7fdcfa7ccdf3b5bcc06a1101754b05a 7988 ocaml optional coq-elpi_1.15.6-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNxWBgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr4sP/A61D51So1SyXFzwR5LIedOCLJr5bfJq
uM7bMdQGkOXFhPV1Ig3GvN56NBR0YJ5dfIZUGAt3cluy5G06l/WeGHVyHLOqJKzS
BWqd4V49UL0lc99om3Xm2v4+OSwoEEyaPfu9wbm2wP/D59flgF0L5zXzE+3lcS1p
oOhDmSBHym7Wzq0MJ7v5Mzls15dpn8fb5m/4fvO/eflwyKe3uhuXtnorEdVWz8EK
p9VbAXF+FTinD58MVqQ8CfKEQ79/szaSrVyR8j5i8r+iCckkFZp6p1LTr46AxKUG
zvTC0oRTTGqccE2NnOeMLYtHw1S2jSyaq1fFfEBcwnnNWevxMdhTFfcimVljsKfC
Gy3yMKDDXu8b8RF0QTYt3HTS4LNc0jXquXPHHl5wmatfwPOKIkvUEjuf8J1aE+MW
HHt0n5bQ83vt2VsfbKDMMIpuv1Lbmou8wFeQ9yQDJrawPx3izdSYHcrZ5CcNlNTk
D9nWaKF6+lpfYIiLl3t4ylU7KZGToj8KxbdJWZiZcUcwXV0MSPaynCcPlIgEV7aI
/OsSL6ssErmFRLvM3WlIzxC53Vlry8cJdtHK0HA07g7w8V2bLnK7BHCn4AcgFVYK
UPZ9uol72i6UMc4RcvqqU4WShKZL8L5M+4PaWvzq2f2UyKgfhlxi1m0vDNAF96kx
UDiEjO+s7JRW
=J83j
-----END PGP SIGNATURE-----