-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 00:17:18 +0100 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.4.2-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.2-1) experimental; urgency=medium . * New upstream release. Checksums-Sha1: e86e2fd7f869a02d67258ce99a4d0dec517fd3fa 2484 elpi_3.4.2-1.dsc b7a276e9fcd94b1057ebf4992e0a434431733683 2694755 elpi_3.4.2.orig.tar.gz 9edc36223e15b9731773c6e76ca8a62d185a31e6 5168 elpi_3.4.2-1.debian.tar.xz 350ff24c6ce48c896995af75775ec744ea3d63e6 12394 elpi_3.4.2-1_amd64.buildinfo c07a4bb835166bdb0ce5a5b7348cc9d85ce4274d 2003536 elpi_3.4.2-1_amd64.deb 2757da353ab8c3780eba109f56befcb639c1f086 16653576 libelpi-ocaml-dev_3.4.2-1_amd64.deb 53a5424d626090dcd632acb5080da1b20b0a280e 4383420 libelpi-ocaml_3.4.2-1_amd64.deb Checksums-Sha256: bae744f9db59bd6992c135c65c37e8b1589b33e885e15f87d5a1c6e87163f792 2484 elpi_3.4.2-1.dsc 64ee2b42efb08d2d947a871c16d2bd0ff889240410a03b452bff93e92dc5e430 2694755 elpi_3.4.2.orig.tar.gz b224bd9a02b6f1c7b0020e903799539a3cd9a57b822b23b8c0b5511d82988a9d 5168 elpi_3.4.2-1.debian.tar.xz 1a1de61509931508921f3b717666a5ce3a049f8a12243f733bf8c5fc0d37738c 12394 elpi_3.4.2-1_amd64.buildinfo cc980acd101b8d49717c37db9666cc901e1d5420487ba9f5dcabf5ea8d0df702 2003536 elpi_3.4.2-1_amd64.deb 54d93ad2687a453ac9f26e7b2aabf75426e7ba75468158b2791bc0fc92cbd941 16653576 libelpi-ocaml-dev_3.4.2-1_amd64.deb 550513641c6f22e78858afe7f628a0a62cd71bae0248179382ea0ce2aa7ccd2e 4383420 libelpi-ocaml_3.4.2-1_amd64.deb Files: d5505dfe2385887e196da89dbe316692 2484 ocaml optional elpi_3.4.2-1.dsc 360125e688bd78b1b9ebe76da460e408 2694755 ocaml optional elpi_3.4.2.orig.tar.gz c8b4bf84bc9c0f7e83afa0294164b56a 5168 ocaml optional elpi_3.4.2-1.debian.tar.xz 45697df22ecfb8c585a6a9782cd593ff 12394 ocaml optional elpi_3.4.2-1_amd64.buildinfo 2a83428c3488f6f4aee6f53d5efc261c 2003536 ocaml optional elpi_3.4.2-1_amd64.deb a2600e0013b6e14df9cc53b4237f90cf 16653576 ocaml optional libelpi-ocaml-dev_3.4.2-1_amd64.deb e9bcfa41416e96c5d29e2c9f885845e5 4383420 ocaml optional libelpi-ocaml_3.4.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUa4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUad2D/4jFzqzth6ntW9fNfVp1ylq KY5/ki1FxC461UGPGzgeOu7NiXJRIGfKQWGnWX0LkEfNWk69rrREBU+yGS4fgIDZ gBKT82Bo1NLV+UVlut/fsXVh4P82Fp/YCobntWCUf4imQh4mV8+v+0ha7YC4t6PH xGt7YwNIp6PmU9TFnItdghQuFa4LQVXv5rV13Tc8RL/aouk/LZ/TX1JTwYoloZix p4a07+JuAFLt7F0z7PGwRvM9zGMNgtUrM+9e3zfoYtBOY77fDbrk0UmLDktp+73e CR/ATvSfLUxEK0AQhGTynHhKF/UZvROLwTF6O415DLTHgT5SZ3lqRlxpMZ4S1EMW bhrY0ArrJb7TucDHuZjZ1iJkw4Xr/fbWMpuiVinhr+9Em3/1HuxNRfD80Mj76CBV rujykUcenBlEqa/7vZdi+n5CtX+SpWm96F2DhpvRfqMNTQUjQfnULbskSWkzLHUV lqyjiRIPpVa3DNfVDNwyP9ItfPLaYlysKhTq0VXyMPbxONbuXSn9B1l2JeKCU8cD fJOxVgBaPEhq/eL3TbtFVudG0BRlZYPNYYVAkyq/GmzqlpwALfMOybWFquhGpYuu cMU8lnYFCl+ogehDLsek6E58/MN2gIsf7aw8dteCm1wjs9+QfRI9C6l7iboS+a5b Q+2CLG2eRoeUM/DbqRA41A== =4rem -----END PGP SIGNATURE-----
Attachment:
pgpY4YkXrSKNE.pgp
Description: PGP signature