Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 17 Jun 2025 08:59:01 +0200
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.5.0-1.1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Closes: 1107826
Changes:
coq-elpi (2.5.0-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Enable again a patch commented on new release
.
[ Adrian Bunk <bunk@debian.org> ]
* Add 0001-Increase-a-test-timeout.patch
(Closes: #1107826)
Checksums-Sha1:
b2a73c0a2d1d9c71a96b8c50c76b6e5aa967b71c 2050 coq-elpi_2.5.0-1.1.dsc
59ef755ab8aa7bdbf869be0654148472a75debe8 3900 coq-elpi_2.5.0-1.1.debian.tar.xz
1b240b1b09103f651c091794adef8f55ecdf2e1e 7283 coq-elpi_2.5.0-1.1_source.buildinfo
Checksums-Sha256:
d106a8f41c8cbd0c0b2466d9b7bb5feb7255d1f1fba76bf24c264354d462e8d0 2050 coq-elpi_2.5.0-1.1.dsc
2ff9c8ec8dde19fdc52078ec342231128bf8f0d53f42a7f6e963279bc583849e 3900 coq-elpi_2.5.0-1.1.debian.tar.xz
f5251ae36c69bd22072c108c5d96376f8511e09fd87f7aa04d7b7e07a8963ea4 7283 coq-elpi_2.5.0-1.1_source.buildinfo
Files:
431d3f7be1bca601466b02705bd67a36 2050 ocaml optional coq-elpi_2.5.0-1.1.dsc
0b1d46e0cc9d497ffca695f6ed5954d2 3900 ocaml optional coq-elpi_2.5.0-1.1.debian.tar.xz
7eb3ca6524c76211314ad7fdba479562 7283 ocaml optional coq-elpi_2.5.0-1.1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhREl4ACgkQ808JdE6f
Xdmrsw//c2CgTDZ+ajVssoj+shXnPQqwkZfTQvABXRx0nP8FlXUJioYTYX7IOuOt
ByTig5+G3QDYYdaFUd9OAJBlqvw5sIlPOWT+Yk5D+X72jzMi/i6fLSfucydx4RLh
A1nx2ECmfPLWKvADMSu7FEH9TW+DE7kioyIbm71lgTlf0+rWXkooAFxqnMAINskD
6vNEqj8rzbV8RiqnGpuQFWUqDwrJf0oIPasIvdyU1RoE4wJKTflSC8EOU8bhrfU7
tym41p+3BA3IlxKMiDKUrc1ogyqjGdrbpX+rf/8UqsvpaJWlD7lx18CfnuDfO2OG
PMBDbhmeBJxNdjlRusVpUhYhWq9+mbxBVxILIilAHw8Hk+lMutOb4qwAh6eqp5QH
lbtQ6Cbo/2xckngDk/Yr/nlFI1QdfJ3+piGJoFNT9JnwYRSuDCfG1Iv1OKkfqvcb
WEaMUYl5f+Gw7w8p8dA9brtTC3bHaiX+BLeuqyKwb0EjnneE3uOl/VNA1p6ybM/7
m1GzjocEnDnLq1Z5VXTjiUpvCUUTfNtOyrx4/IaaabMTc3FvzvX/+h6I9h3ySzPw
w6LiYA+Lp6LOKsb988Pf0UgvpEnqaIuUHoaSKUZ5GvDLfoIBzDSK8+xhA+CbIkue
Fq0qMvGDnRXcCfkuZQtXPXgXfpqDry6LEbt0RVJuDyv6e1kXI9M=
=0uF8
-----END PGP SIGNATURE-----
Attachment:
pgpz7_VttxhNy.pgp
Description: PGP signature