-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
