coq-elpi_1.15.5-1_source.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: