-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Aug 2022 18:07:48 +0200 Source: coq-elpi Architecture: source Version: 1.15.5-1 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.5-1) unstable; urgency=medium . * New upstream release. * Add patch to turn a warning-error to just a warning. * Add patch to fix the install target. Checksums-Sha1: 23060e8cfc028f5a23cd725a2d9b13f698cecf6b 2025 coq-elpi_1.15.5-1.dsc f49777752d522f4b229650d582bfebcdcf18cc5a 404741 coq-elpi_1.15.5.orig.tar.gz a7a493b650cb80e1063c42f517d420280da5310a 3372 coq-elpi_1.15.5-1.debian.tar.xz cd36d713a2b1255c828b45a660a97d66ca35c9ec 7462 coq-elpi_1.15.5-1_source.buildinfo Checksums-Sha256: f2dedf3053b713a6d49cf59a1287cd724e6c48666bb8caa679e51e0773197f46 2025 coq-elpi_1.15.5-1.dsc ea7a236e93c31c963dd481942eb1965987357860eb4518ff5c22fa7369156d97 404741 coq-elpi_1.15.5.orig.tar.gz 15a6dac2ed1752a2af4518453546c9732286fe19722793daf7c5e044f6571f4c 3372 coq-elpi_1.15.5-1.debian.tar.xz 4c98c823af2a2025df66674622a757322537b6034c1a023b7369dad1e49fcfba 7462 coq-elpi_1.15.5-1_source.buildinfo Files: e136489e618b4149f478519a3e2c5997 2025 ocaml optional coq-elpi_1.15.5-1.dsc 7336924c40df406eb52df87a8a0e798e 404741 ocaml optional coq-elpi_1.15.5.orig.tar.gz 875b8bb0a74c02342b165d959de6d769 3372 ocaml optional coq-elpi_1.15.5-1.debian.tar.xz 0177498a098b65b5a7f88f7be7a3793e 7462 ocaml optional coq-elpi_1.15.5-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIKwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRA3MP/06KTMYZ9VyWUjNYpq9rWfvnJYedhXSu ss6PBti/8RvEhn/DHJk8Wlh37x8ze+fcNr+JcD73BG7ROF0PnCqcXPc5bz1Wq1RD J500/Y66L+/2dN1yqRNz6GXHMbgJ2XjXkfjkEsQXzEEBiPNITjnSS7SotcSibOgo fq/2oY025Gz7lf9THNBNpXQghnSlwhzKSJUxlSJQ9ZCR87imWcC1ABNupcLQMvww IXN1iyPRMs3hiQ2uG5U+6UjOhYVMZW5DMPFl6Lt+zKzKhtD3m4knQv7AZrK4vzcS vepEoQOteTFFzE8qfMrhWxlhJf/otQ6py6HRgmH8IkA9HUb6sjqqU1OOrUVYT1Ge HvdDH30/f0lfdbQBNV45H2myC2b4/FO/sTDrnnIksZRUJfKMjabCH39hGfBLeCmX 53ZTGnTMPd1cUcEu63us64620sM4Odet49f7igxWrWCOdQIRh5r/D23yE5Vh2HsD AU1KWd5aGo+Q0ouxHz67AzaKDXdmvub47oGx5SQE23t/X/YO4gn8pSGcfQ/oZNWq Ylj7XyKu0nKabvNPy1GwMu9ZAwHt7bsKsdSmVZWGhS+hgpwWJ0IziCXMtLNesixP RyLpvHDC2pjQs6u5iHineTjkl7j0dFZTRYVoj13ua+e7NMuDhpUA9KEaR4uCilJl uKb1OOBv6gJB =Wc9O -----END PGP SIGNATURE-----
