-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Aug 2026 07:08:50 +0200 Source: coq-elpi Binary: libcoq-elpi Architecture: source amd64 Version: 3.5.0-3 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-elpi - Coq plugin embedding Elpi Changes: coq-elpi (3.5.0-3) unstable; urgency=medium . * Re-upload after a binary rebuild broke things. Checksums-Sha1: 154993392b8f35387d9fd6565a0d13aac2146c90 2147 coq-elpi_3.5.0-3.dsc 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz 9baed447af8c35ae9de98ee4367f6052f5679c75 5712 coq-elpi_3.5.0-3.debian.tar.xz 4016068323271e39869b488ebff9823c9e5f9290 7761 coq-elpi_3.5.0-3_amd64.buildinfo 83d0fa8444c988144bb274ecde9bd1ab14d6f4af 12844424 libcoq-elpi_3.5.0-3_amd64.deb Checksums-Sha256: 42e8f9008a93abc773d6b448829a9c939a8b45745b05c259b8671870f89b6aae 2147 coq-elpi_3.5.0-3.dsc 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz aeff27f23266595950ba70e19ab26dba9ca8fb1eefa0112e90542bf21ccc49f0 5712 coq-elpi_3.5.0-3.debian.tar.xz 8b89e94bd9d8a42a1e9c17c0c402b2b88dd843fd92a00a76cf97297967b3faf5 7761 coq-elpi_3.5.0-3_amd64.buildinfo a7c8be8e854d504679cb0085212fd32c1490eab2df9c307b6be7486ff9150686 12844424 libcoq-elpi_3.5.0-3_amd64.deb Files: fcccfd9598cdb244628697bdf1592d7f 2147 ocaml optional coq-elpi_3.5.0-3.dsc 718c1c9e066e9ee421093bdad1665b3b 1132542 ocaml optional coq-elpi_3.5.0.orig.tar.gz c44e05790afa3d71786e81604e65e565 5712 ocaml optional coq-elpi_3.5.0-3.debian.tar.xz 8ea4bd0ecc88b3d4da214de8ff6893af 7761 ocaml optional coq-elpi_3.5.0-3_amd64.buildinfo 1f91dccf7ec19413b7d46f7816f2db03 12844424 ocaml optional libcoq-elpi_3.5.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp6ry0ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUV93D/9oHRPnPV12rHqEw+5Xl9KR LvjOhLupvUyQQOW/74A0Otgf3XR2VFqRDRLvQ+NU3fuG4QfdDRzMO6q/+gzzQaXq LejF2IwcIsm9/26/a0ky+BfvHrWJ171EzuQkEOcmiz4Cir9Nk9xj9AWBDDxxp4YU rPWLsoKcZXEnGr1Xzb0rsyxyiqprPGwSC5Enz02H80kLLPl4FF4GKSKv7BDhchkD UP0kvQCk7wIhtinWWtTiTcx+nhCV5CmbqMmdFwFbHGKubla5CE858zCOa84FBrlc 6yaVe9osYCTJCTm/6JeRj2eOXUT4Mqup5kmRk6048Bo29LeGI0283begmAC9+ZLT Lg5zy3eV7k39eu3iBUvYMnTXHT7f2FxMzKa+XNT+sdn88FEDIYCqvyTAuIOeUidx PWNaW16Hsm89XPpPf8/Q5Fz94kfzureh+F6nMjzNKHTab4Wza5Vpt3ze40OghjU/ io0jjBrB9nJ6fTrlNZ0nzeHVOZHqY8eBOApCc0FPzSzdvJ7UgeL2cFPEF3FeoJRh 7GANCOmIvtNkRE5920Mjfrx6ZRzlZAq6JAJZuZvdhdNCT6okgrijNqZ/W33wIeLY KsqwSwKabpEsz9znpnDyq/lTPK3VBvlxJFhPdBuM2wub8fp/G1j3ae8vCTVVRZF0 OUOxc3yD1IIZ9/8mkB2/Fw== =HPUv -----END PGP SIGNATURE-----
