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

Debian FTP Masters <[email protected]> Tue, 11 Aug 2026 05:38:50 +0000
Newsgroups	gmane.linux.debian.devel.changes.unstable
Message-ID	<[email protected]>
-----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 <[email protected]>
Changed-By: Julien Puydt <[email protected]>
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-----
signature.asc (application/pgp-signature, 228 B)