-----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-----
