-----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 <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
