Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:23:48 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Closes: 1044251
Changes:
coq-elpi (1.19.3-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044251).
* New upstream release.
* Drop all patches.
Checksums-Sha1:
6c3d6349bbf4b18f8e21b4e21cc82c8ac22ed3ca 2030 coq-elpi_1.19.3-1.dsc
2ebf0d931c8083349901f90234aeaac5e22d616e 571678 coq-elpi_1.19.3.orig.tar.gz
b667c6758533704f789838a47f40df7ed69d43ee 3108 coq-elpi_1.19.3-1.debian.tar.xz
5ba00d1e355033584212c31c7f163f599353b307 8324 coq-elpi_1.19.3-1_source.buildinfo
Checksums-Sha256:
d2b6dd2f43c215e1db9e80e6602a494ee0b8f2ffdc8bd910dfb1bbcbe105731b 2030 coq-elpi_1.19.3-1.dsc
befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4 571678 coq-elpi_1.19.3.orig.tar.gz
9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989 3108 coq-elpi_1.19.3-1.debian.tar.xz
4b7db8431e3efc3756400e54143c897c590a863f9ab42fc5de54ccb07290eca5 8324 coq-elpi_1.19.3-1_source.buildinfo
Files:
885762b7e7fe945b4bce0bce4ef4aec3 2030 ocaml optional coq-elpi_1.19.3-1.dsc
17db60a99d07ca13976b794a8205327b 571678 ocaml optional coq-elpi_1.19.3.orig.tar.gz
be756cf889bd9c549aafd143d66208d3 3108 ocaml optional coq-elpi_1.19.3-1.debian.tar.xz
eca26f018f36cabe2fd44548441980a1 8324 ocaml optional coq-elpi_1.19.3-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESpMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRu0MP/jJvPaTwYLVQvgOYCox+8MpiLPj3h59z hLOxLU4n91FpsvuDkBRHtrwWrnLAynC/cMBMtTP4/SG05CRb4ZS+nE4FnnjrF1Cs hjFR6p06/N6fNFAVxW001qsND+2xMOU/iNFijer6Ce5HRaWcsN35/UVoqWKiDABL Ayld6i6UxmPPmxcwbh8E9qOL8vEDeeAQOJ2yuQTaN+wUSQ4sgP/FozXWtMoj9vrZ r5cJZ/U47ED+NzeqFF8XVTjI1S3QN5U6kM2LmggMRrbQVw2gPDytUSk89PSbIbYt 5Jgaay/A8OzUdowFVdBFFaBRpGcdxONjpXli2STnKajLwqnhu3ubPUQN798VlCgi 9jztRSwXwwuUDMEO7cgEOZjdKzaBeM0wY63WM2/VMfPk9R1ykJD2leCf0t6ZdZ8T +Z/BWZCkzCe7QyVNwy6iNmNkuqrB0GP4EIsBPJLjs31WJbNvhpTNIt/oiPM+FQEc TKDf4mjoLgSr8xrqrRv/aopfWL/tbNsN3IeQ815sj3RkMJV7/OPD35O5KtnfmIhn fFCiwsFS76ieSkMmZpd0l4MY6tlZlV0Vl94kKkAsnqEo1TQBt69ANwh1e2RoT3Bx i+kZo1DPxKJj3aZuR3z6vbjJCRiLvLY1oJrHuLIAoEaIEa3zNLvuFmIYjGek0hXt
eRg+LsYPRd9x
=0Ud4
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)