Accepted coq-elpi 3.5.0-2 (source amd64) into unstable

Debian FTP Masters <[email protected]> Mon, 03 Aug 2026 09:50:22 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Aug 2026 11:22:28 +0200
Source: coq-elpi
Binary: libcoq-elpi
Architecture: source amd64
Version: 3.5.0-2
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <[email protected]>
Changed-By: Julien Puydt <[email protected]>
Description:
 libcoq-elpi - Coq plugin embedding Elpi
Closes: 1143209
Changes:
 coq-elpi (3.5.0-2) unstable; urgency=medium
 .
   * Add patch to fix riscv64 thanks to Adrian Bunk (Closes: #1143209).
Checksums-Sha1:
 b6ea86a67d1260156135d5b51f79edc075bc7bf7 2147 coq-elpi_3.5.0-2.dsc
 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz
 e0482e55df81e7df88c900909345cbed3f15f921 5688 coq-elpi_3.5.0-2.debian.tar.xz
 d4c1bda46fb72f64ecdf98659fcf71793d03ed5b 7787 coq-elpi_3.5.0-2_amd64.buildinfo
 d4620882336506f9ed12dc4ef554ed84143513af 12845580 libcoq-elpi_3.5.0-2_amd64.deb
Checksums-Sha256:
 4c057e013b6bc139ed30983003c26bccb9460352b0bb60414ffdbb18d307faf6 2147 coq-elpi_3.5.0-2.dsc
 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz
 b26a065b00d74ec9fb0923293a1480a8e1bae6cebc200c10fc7418781888bfab 5688 coq-elpi_3.5.0-2.debian.tar.xz
 35820f1a0098863d951b9b2c81d9e9506d7131e8563d5cbbe19dd066667ede1f 7787 coq-elpi_3.5.0-2_amd64.buildinfo
 8add4d36bfd016cf9db0f2067f6473dadbc8d0d7955a9c516e47208e96e6573e 12845580 libcoq-elpi_3.5.0-2_amd64.deb
Files:
 73fca47945f3c9bc1b8c31da677a81d1 2147 ocaml optional coq-elpi_3.5.0-2.dsc
 718c1c9e066e9ee421093bdad1665b3b 1132542 ocaml optional coq-elpi_3.5.0.orig.tar.gz
 2ae86c6cce6907f8dacec89a8375334d 5688 ocaml optional coq-elpi_3.5.0-2.debian.tar.xz
 2cfdd1960e16d9d10141e16be45f0119 7787 ocaml optional coq-elpi_3.5.0-2_amd64.buildinfo
 bca4adfa386133476e1fd3bb8d614005 12845580 ocaml optional libcoq-elpi_3.5.0-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpwX6sZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUS/zEACOa92Opq4fE/kTZyoTS2R9
n10ZUmKvYLOy14/CWcWF2jUPcRr2lBT4shkacRPcnZ/MBzRq8BNyUXIvYm/aM0mQ
Xe3kSzKEpMn4dHJCOplrjxGY/uymDzxAi1ZCrC04RdVB1UefNA4RsNXCFQn+/gga
wLpNK5TtF41egt+SEFJb56TTfOwG3M4aedGLt9/deihnrmYklSiTbWLc2Cc4BM4l
m1EQrHp5yiAL+QLpkOuOfRx/eLpkrYWcg6BpFphnH6H5JVyOe2UyuVYLLxT3SZLj
3K9oxxpKO6c4vFr6RdUq2OU0tyUqJHWF8x1oY2BjiYuhhTMGTEtVmY2CGdwS7enB
F6jJb896UPW/oN7pF3rLm66zEoelxkf0rk3w5wXvtZbx8YqsQyUozjjEaNT3fF7a
qMX0H3CinOl7WADEpq5LIink2X3/0u0AMvTqcKoEeCHMDr/HGReqVZEf2cFl/I9M
ZYYViW0U/RQFX3vtrkSJDmtUB1HHTPCiRWLib34kW+eEVDkLEjTjsMt8cltSdx+Y
OQ0KUISMbDiC0KhWqfZ5tjo66w4UQHdSztKojY/v7NBWOoxP/edfPzkwEB1651aV
B22Yjllp5yzbsMeZ525gbvEQmjbyt8k7UmqVjDVIaelikCi9j2MB/s5hhOqQq/DQ
MHqTq/V3Fk8JS1q0NN3HXA==
=tq1k
-----END PGP SIGNATURE-----
signature.asc (application/pgp-signature, 228 B)