-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Jul 2026 20:06:15 +0200 Source: coq-elpi Binary: libcoq-elpi Architecture: source amd64 Version: 3.5.0-1 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-1) unstable; urgency=medium . * Fix compilation with recent dune. * New upstream release. Checksums-Sha1: c2a0b987a70b900c5a4f83c08d65de2b20692e1c 2147 coq-elpi_3.5.0-1.dsc 0735f3d605062f8ed56cb91ffc17636741466f7f 1132542 coq-elpi_3.5.0.orig.tar.gz ed392be75c726fe68130c018e558654c77538bb8 5436 coq-elpi_3.5.0-1.debian.tar.xz ac459d26d094abd70da9d414be385193e241c1f2 7838 coq-elpi_3.5.0-1_amd64.buildinfo d95cfb8f2d8a8a25a4e58fdbb6a1fe6df1e70e89 12852764 libcoq-elpi_3.5.0-1_amd64.deb Checksums-Sha256: f2aaee96fd39e57ede7d0cbb9e662b3a3811e54923a49523a4b1ace9d05f43c5 2147 coq-elpi_3.5.0-1.dsc 05fc70d0067512bccf772491a24bab355323c34154f4c9051bc95609b4dcfc77 1132542 coq-elpi_3.5.0.orig.tar.gz e087a0763bdc9633914007002158840af7df35c7de2cf3eb4913041e4d94081a 5436 coq-elpi_3.5.0-1.debian.tar.xz a7a3ac3fcd11616f38fa5f6fea9b5dfbf81da4a72136a3c9c7ef95f649caacc6 7838 coq-elpi_3.5.0-1_amd64.buildinfo 684911ee289f185844f23a00cf30362afc030355d4f961a7b90a2b5bcefd43e2 12852764 libcoq-elpi_3.5.0-1_amd64.deb Files: 7e9be0f630b28650437adb7f3d298e59 2147 ocaml optional coq-elpi_3.5.0-1.dsc 718c1c9e066e9ee421093bdad1665b3b 1132542 ocaml optional coq-elpi_3.5.0.orig.tar.gz f7ca8b10be73fb676ed2ed0321be258d 5436 ocaml optional coq-elpi_3.5.0-1.debian.tar.xz 494c3f2ef2e5d61c77798feee1a30230 7838 ocaml optional coq-elpi_3.5.0-1_amd64.buildinfo 5106540d934e867ed6ce72e516665d07 12852764 ocaml optional libcoq-elpi_3.5.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpoc1QZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTPoD/0b/AHn2yxOCc3XqwHankxK NPiSnSjJybYM/bXNO6OQdStdhIQyZiOg8aP/ahpz2YDagIIqYSia4HgZUxvkUf/g Y9w86c/vZTsRSklGaygQUrR4IqN1uoUO9E7siRKJITMu6JuFlPx8aMwYqAcWq+dz JCkZ1HKBV8XksoZE6fNdJhaFdRMZ+gGdIP48pDxqygCkHTj3mQgSKaEX8LkijisE 8RO5Qm1kfDlsh1UClu+MX/kIqOpnHNh3a1zF2LVyLhQ1ksc7vl59DLI1XymOYX5p +a8YajUNbfWue1z8hzuExJdpbpQRVxuqBuf55C/ZbQurD1nGY6vXhRPcmZqonqrk GKFAZ5V71OigIhYIsvPjZeCA6gCVPTO3JijRJLE8EsDR/WcIbn46HsXV6/dX5Guq vd5X6eaPMV+jw07W4fthmJvkT3nT8OY7Z/5mGl6x8UkH6A26aVhKRkjdNvlStfeo 2TWvNA4CTycwRV1CTskLGOMrl3rF6pyWhXps8E4USrw9YEvnW51Wyta3V0ollB9T 8QuyKGHsF9/V2MacMNaTE2+HDDc4678mvrHGJJZDQ6PVwHtpLxV+4+pPy+Eo4a1t u/iWk5/j9XnpVybQzPJywPHwGl3npeubXg4vUQtc1EH1RrW4DjUQ3TGb+/qx97pG vEmjmnC95hGmvF0RbfMl9A== =LdKY -----END PGP SIGNATURE-----
