-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 21 Jul 2026 09:56:08 +0200 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.7.2-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: elpi - embeddable lambda-Prolog interpreter (tool) libelpi-ocaml - embeddable lambda-Prolog interpreter (runtime files) libelpi-ocaml-dev - embeddable lambda-Prolog interpreter (dev files) Changes: elpi (3.7.2-2) unstable; urgency=medium . * Prepare for upload to unstable. Checksums-Sha1: 2b9a59c20224d8134a61b9accfee9befc40bbe71 2484 elpi_3.7.2-2.dsc b9307c996d531cf75b8f7c4b666723bef164609f 2707427 elpi_3.7.2.orig.tar.gz 0c1f67686a2ffce66cab3990f4617c72c9d2729a 6168 elpi_3.7.2-2.debian.tar.xz 9e61521eeb3d6dc959b82e7af1b9c7211c7afbfb 12707 elpi_3.7.2-2_amd64.buildinfo 016daecfe9d31543bb98e517f664622df2348494 1854228 elpi_3.7.2-2_amd64.deb ff3473ea8d2b1e4f59cff76a85910d3af4d70fa8 12203832 libelpi-ocaml-dev_3.7.2-2_amd64.deb b256aebe4ac4e20c46437d0a7e72a2647877742e 3398728 libelpi-ocaml_3.7.2-2_amd64.deb Checksums-Sha256: 386536d6c19d136f2f2ccb6dc914c9ef7d3ab106f965c6ba48871c0c1444624f 2484 elpi_3.7.2-2.dsc 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz 21dcec92075d7f23050687c4de27372c3256d80cc290a3c59fd14a6292b31373 6168 elpi_3.7.2-2.debian.tar.xz 58a5026930110ae67175b265b09300870814ae6bfd276acd7af3432caa33d075 12707 elpi_3.7.2-2_amd64.buildinfo 5b939bf325bd15f033903cb51d34c5649da54fd19f3277f52eb63bc143285586 1854228 elpi_3.7.2-2_amd64.deb 24bf67cff6643cdd99ffa7220e6e115cea4015312a73806c7d9822beb89bd069 12203832 libelpi-ocaml-dev_3.7.2-2_amd64.deb b829fd1c5ae58f0dfdcf58b9cf0abfd58f9913e905dae86188a983b9e2a02038 3398728 libelpi-ocaml_3.7.2-2_amd64.deb Files: 39a527b57c2e5cb3dc62611fe1d149af 2484 ocaml optional elpi_3.7.2-2.dsc 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 ocaml optional elpi_3.7.2.orig.tar.gz d02b6fd3f45b84073bf0ffe698d94203 6168 ocaml optional elpi_3.7.2-2.debian.tar.xz 6963906d8172b8acd3a8de027c7ffd3f 12707 ocaml optional elpi_3.7.2-2_amd64.buildinfo c9087f32b1a4941b78104d74eed55c35 1854228 ocaml optional elpi_3.7.2-2_amd64.deb 2c4681937b61ad2e3eda97cec8af3e4d 12203832 ocaml optional libelpi-ocaml-dev_3.7.2-2_amd64.deb 16a31b518b4beecbf19a64e62c3d468e 3398728 ocaml optional libelpi-ocaml_3.7.2-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpgky4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUR+qEACJWZngBnJAKBz8buxRtj7V zR1Nl/vSmppz2xIh2t8POSeXZ4jTO3sUwN2jUnt41NOQXK4M0UEfGjUU5/YNokLE vWqFPO5jgf7DmFG+KjfuKWJbTvG1GjOQnok1H1aKmWEkALbGRgCGGG/kCaArmI7z chb9PsHTHIAiEel4eeNb09X29CA0YrCYeGVcQSeM++/fVE0xzhojqmfsWF7zlwM3 q3mVAYTpRpZpjvfg/aDb377VvaqtX0JBerSeg2UiDeuWYZppiFVUY6+A3iDqbjTs W4JAgRwpZhfOIGv9fBI06Sg95XaQPGc9prJNQDeCD58E7KtMnp66D9KWNIuzQndZ lREI74yFrN7KJHq8LGjTJqaQCQJV/j9EEp+BtwZEufh+rbDOv2lGAz+mMfJM42U7 pKRt6s1JgIY5Z2wZFn5HsiaS2VoPYRGSXjAz79tMS5AbDl0PzRDASVGTl1sgKY2p H+QLdewBxIu2Ew8nMrW2SmYuzF1gMvJoHsxHpzQVoUr6EDlXIkfku6TRFzsyB4R9 +SlW7IC2ZtYXswIhG7LrV8tzjd39jsrXr3N9GTJq44DQLCMNe3OKA92mAS7nivNA FoSjbzJJIJi+w5QhYxByYc11AG1rFi91U1zyQ1ZlE5wImuQ7PMwK3qkxWCBv+bb+ M7QuhljmWjwzbkkG+VsRoA== =sLYX -----END PGP SIGNATURE-----
