-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 17 Sep 2025 06:48:20 +0200 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.3.1-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.3.1-1) experimental; urgency=medium . * New upstream release. * Drop now-unneeded patch for compilation with recent atdgen. Checksums-Sha1: dd6ffa17704d8c12e54b0c61c20f5a2ad8e7505b 2484 elpi_3.3.1-1.dsc fbc96eb030f93261e3c9eb1eac617ecf3505a9a9 2693577 elpi_3.3.1.orig.tar.gz b7ec2ae1a060e3593b1fc98db18de536089efd83 5160 elpi_3.3.1-1.debian.tar.xz 94eb569bd3fdad759a7dbf1110e266b639036d21 12468 elpi_3.3.1-1_amd64.buildinfo b3c742e3cd8c512bb3b339d097412feec624e73b 1982468 elpi_3.3.1-1_amd64.deb 534f204002548ef0c08cb9aeed93909a39be3160 16591476 libelpi-ocaml-dev_3.3.1-1_amd64.deb 7505d8dc9c0b6a50c219594e369536af7057eeb1 4375524 libelpi-ocaml_3.3.1-1_amd64.deb Checksums-Sha256: f6c4aab2f1d50ec7e439998bb11bf201c3e849f467ff4203272b67fcb860e213 2484 elpi_3.3.1-1.dsc b294bf9ba52ac6f7b7bc403e75ebcc735f82efedbae42372778167e57ca0ebde 2693577 elpi_3.3.1.orig.tar.gz 8b383868bbb54de79746b1a2c32107e7d6e4b9e607e7f86d84869043608280f7 5160 elpi_3.3.1-1.debian.tar.xz 042e37f2b3d519a48d710ea8531398101b4727bf50235df4757e973251ee3939 12468 elpi_3.3.1-1_amd64.buildinfo ba65d972d420994d6c3295b72b20e4408301b64f0665801473b1e4eda816f796 1982468 elpi_3.3.1-1_amd64.deb 3764f1588250d7767a0602407532e9f07c85b85269fe9d31574ef4e7754cd48e 16591476 libelpi-ocaml-dev_3.3.1-1_amd64.deb 25e046b3f1a9559f54203fa90bfae21b4ba77a20daa5f070f0d2b954c620bc9c 4375524 libelpi-ocaml_3.3.1-1_amd64.deb Files: b98dcb14c05b96549b6a1d7f1605f759 2484 ocaml optional elpi_3.3.1-1.dsc 3bdfa428b975014e23743b681f9725d0 2693577 ocaml optional elpi_3.3.1.orig.tar.gz 2c267fbfbcbf7a1c8b0d7035613cac02 5160 ocaml optional elpi_3.3.1-1.debian.tar.xz 3ed4ac0ee68713e313f5ea5dd825f59c 12468 ocaml optional elpi_3.3.1-1_amd64.buildinfo 74540e85cc71bfcb7d21b62ff43b9c15 1982468 ocaml optional elpi_3.3.1-1_amd64.deb cdf476187c8a6bf623dc4611407d55ea 16591476 ocaml optional libelpi-ocaml-dev_3.3.1-1_amd64.deb b972498fe61023ddcf3d57ecd2ba0344 4375524 ocaml optional libelpi-ocaml_3.3.1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjKqW8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfjzEACPTGF6oNmhUOcO0rf3NaMA ib/1Q5957JxIdpS4VgtsGluPmqcNGPbjTKrb1937gWH4qfgizbs5d/oDuX7ZRJ6k MJNbo2mtGQGFbQPr9RdtR+ZYJUKCaKukopy/V9iLl4d/DkPhZ7WtP8fhaS3/s0ng rSn7S/9txWPZ/A/ghVh5Iym+GU3/K+hcw5CCVC6V7OMRffKVGAWejUdbOBICo8QM +aieDOIYzScD11sdAfX3zbus0Cxwq7FolA6QCPrzXMRzVhveOIHPkp2AuM3RPf0M d8zD3ywWUPMvJ/XaeDd4iGzce4bNeMSpvCQ7lAil1/nvma2MTYaeplnx6psxOxCT zHvn8aR7J4kl4QgYnDQ47KyjU/e921ltMCaTFKrQDDG2WCY2u9kFKaJIthVUd+Sx 69WSAgNjRoM6kINFy2uczfo0wBbIdgqNTghjTVfrSDadpzIBVfH6qJMvQZeJoVyZ CHsrb6fnVfpkhAQQo3yHqh7Gr10STdjVOwhCYlQsSSU8FUWe3zM+NDEgihhePc9A bnfPYw3FrFd5R7FIkjAy2ovwSTj6VkukA5kAIlZgpuLiJ9ngTOnYvUsKzYXRCx6M 58Vfua36Zv+myqf0s+DhHInVJ9Tdpw21n4S69fFSwLQeyioEwqwjvM51YtkoBMTb ljofhutNKslZhvzS5r5THA== =c26V -----END PGP SIGNATURE-----
Attachment:
pgpvnvL231Ext.pgp
Description: PGP signature