Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 24 Oct 2025 20:06:25 +0200 Source: coq-elpi Built-For-Profiles: noudeb Architecture: source Version: 2.5.0-1.2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Gianfranco Costamagna <locutusofborg@debian.org> Changes: coq-elpi (2.5.0-1.2) unstable; urgency=medium . * Increase a little bit more a test timeout Checksums-Sha1: 7d6587aea4cd256b987964e8a7102f498335b8ff 2050 coq-elpi_2.5.0-1.2.dsc edaab0eb0dad86fcd57317ced0cace3f0bb833cd 3920 coq-elpi_2.5.0-1.2.debian.tar.xz d2e4150505e4f86ff9d3342366346649f6223ec8 7851 coq-elpi_2.5.0-1.2_source.buildinfo Checksums-Sha256: d0f8a5141a64368321e19fd8fa95b6f4664160baf70580cad0c297d9ca45cb38 2050 coq-elpi_2.5.0-1.2.dsc 400e0ccc38e1215f29e92443833f7070fe2acbbfeda35fe285e7fc4adaf9dcbd 3920 coq-elpi_2.5.0-1.2.debian.tar.xz ae7c358f035f11afa8048d92cfd276886facf2964f944fd8727074d97b44af98 7851 coq-elpi_2.5.0-1.2_source.buildinfo Files: 5f843593b717d302037a368c9beaa3f9 2050 ocaml optional coq-elpi_2.5.0-1.2.dsc f21b280b32f2992550c8e77e6a189d3f 3920 ocaml optional coq-elpi_2.5.0-1.2.debian.tar.xz ab10fe90345df96b98644e2e480d18cd 7851 ocaml optional coq-elpi_2.5.0-1.2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkAvJUACgkQ808JdE6f Xdm8mw/8DbTPWX3nuIhfFj9QB6LxivwkM9CmFu7SX7/iSxTASRjaAkoObNidnrzZ px3mvBio5qJuzBMM18stlh/ehJG1emEp+XVy0KPY9OtMhj1j2IQWzfsr7E5l3Wkp Fh8PvhbqxoH9QU0t7V5CpnYpVI+LQLBMGYjf80GXRNil2jnAtfInw7sTP+rFHDqo RJdTZqzEJscX/OVmpudHDVO9pB1X7v54GCnaT3eVs+hmhL8qaUUCqWZ1KpXkyXUn IKTrxkz2Xq2X5SbL1/RCms1Nq+2dq7C2VNQjderz1dsL30eIG4lWotzj+wa8a1d8 Snz8KOrLE/56ujQJvGseUuL7po6xTl9+sjPs5KDuLs0pI9WaBA/fED2RDECSxI6+ TqPA5u31oplRYQmXAI3nXX8Cl9bga6R9AozGDbicRX60CX88JIxEkWPKCfP2mxtt tY3sbnHW/MoVE3gCq+h7SjPNFPAc50TNglW9lqaODzwz9P6WcmcEjlV/5hECI3oI VeQ6+Kru+DkousBzWLblk+r1Qc0T+kJNiYaeoVAEMLysaUgorZ11mslLOX83ZWgc CnXXlUutH5IRiI4Nb06FFd9Bz2iCODsvVg+zTLcFAOOXMlTTOucvc82Y26YuiS9F cGznWYjdDsjPZxt6qjigRulGyYIZbpfRKBxNCIplZretwNhMN1Q= =piz4 -----END PGP SIGNATURE-----
Attachment:
pgpSukyKZ7l9f.pgp
Description: PGP signature