-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:08:22 +0100 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.4.3-1 Distribution: experimental 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.4.3-1) experimental; urgency=medium . * New upstream release. Checksums-Sha1: 1a5776dc5c6fd9cfa7f588bc4ed67b25f893dee2 2484 elpi_3.4.3-1.dsc cc4a1d5c8fc3cde630900db42b0e11efa61ca58a 2700325 elpi_3.4.3.orig.tar.gz caf4ecdd61b0a3030cf27476daaed65c3c1c7cf4 5176 elpi_3.4.3-1.debian.tar.xz ade3a96be4484ced6dc3809ee12f4a7461d19cdc 12387 elpi_3.4.3-1_amd64.buildinfo 5a274116e6ee70c719f523e7c753e4c5509ba14c 2014808 elpi_3.4.3-1_amd64.deb 99a1266c7f15656644f6bd8f16d934839e8b8d77 16801160 libelpi-ocaml-dev_3.4.3-1_amd64.deb 77e10eb18d7093e8b9e6f76ab1805f68c603ae98 4423160 libelpi-ocaml_3.4.3-1_amd64.deb Checksums-Sha256: ced91320718eb6d2259d3dc5e773fdbfb5d464931f14b6a812ff75edee43d707 2484 elpi_3.4.3-1.dsc 49a1792d34730572526efede6eb63fb64c0e2658e482b2f94e74da46c2733af8 2700325 elpi_3.4.3.orig.tar.gz 6c0d999dffdc1a55c8df56697a08e2e847f8c2c716209a5b96c559fed1fb73e5 5176 elpi_3.4.3-1.debian.tar.xz 32383247cb416d8c23361e87a4f1efb12ad8ea0a8380bf7c4a9b4abff380bf4f 12387 elpi_3.4.3-1_amd64.buildinfo b50e0c22c0355ab4fbf8451718a67ae9774d025fe6f2aa105c87d95c4515e515 2014808 elpi_3.4.3-1_amd64.deb 7a384c803cc962ab7f85d6148f26bb4653375c546968462e012c920478d44ef2 16801160 libelpi-ocaml-dev_3.4.3-1_amd64.deb 47ee11fd099fe9dbda1d866366bcd3216861ddf94b3bb039248ef56bda86f346 4423160 libelpi-ocaml_3.4.3-1_amd64.deb Files: 6368db988fab4f1b703b4c94896e71d0 2484 ocaml optional elpi_3.4.3-1.dsc 9341c3ef91265146a3815ace4192ccb4 2700325 ocaml optional elpi_3.4.3.orig.tar.gz 3379e681c1e8c7a09bd7a49bf2fae416 5176 ocaml optional elpi_3.4.3-1.debian.tar.xz ff9765f75e4aa24062daf4cdca0ac79e 12387 ocaml optional elpi_3.4.3-1_amd64.buildinfo 8f2defe445336f1a08a548b51fe2f1d2 2014808 ocaml optional elpi_3.4.3-1_amd64.deb 162f505091f30584b21601172d4aacff 16801160 ocaml optional libelpi-ocaml-dev_3.4.3-1_amd64.deb efe6231475d27f5a214643302c92acdf 4423160 ocaml optional libelpi-ocaml_3.4.3-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTbwoZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdQAD/4p4T4YcrE1T4MGxm94Y9LE wDCPs6pkIIT7TVLsqupJ4273hRfF2Ita7oU9Z129lp1VRV8gg2L2CI8U2z8vnZcn uFMtYFdA4qMoOYcmaEH2y9tkkGpFADApUjdEMvMaiNgmAD7cN9ZbJNYQspX3YMKb HsaxD4t1WBGYj4zeu8yiu67rxxEV6dyrUIMZYLPuRiOPcuVojrOEgQVfZwPaUkYb DndJcDHnjgUCQo4jOnVIgptxmfpY8slWpAtWPXD8JECJTzMabrZIjO2xJKvNYZQK 97yrFtBKKdTDvIMUAe2zQDoKKoHxt3e5Me3h0Y8WLvyIO9nYuKhHV1eQOdK5eXTX pwRHh1+cyD4spGJGuzhy5BVqU8FETWosCkZDbUYmzTIo9T14nlFDidEeLCUPUCbM XlWxXHmsUpF/2tPjF0uNc2hTpoboMW/Nagd43W90FjuKIrPdPXl6sUGJHWRaaC+5 15T/gkeQ4w2URGTBV8pTnRMRZsC4zHpN9UO7ENMWUJKODfWttbn7nRJ47j+0KNC3 btk+p2votZX1/Dy1B+APB45PaPWNBWfO4XpZPNTi04NF4sESqw3OLRHO/1O1oFTS iECamGtWSWWED4mp0/LJMblQMW5iwdd41FESwcJb/4Kl1Xr09zVdT55L7LFzjWo5 WRhJ+PQNQe4haPKFhZyBfg== =tbyF -----END PGP SIGNATURE-----
Attachment:
pgp9gSJrYGfGC.pgp
Description: PGP signature