-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 10:10:09 +0200 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Architecture: source amd64 Version: 3.7.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> 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-1) experimental; urgency=medium . * New upstream release. * Fix compilation with cmdliner 2. * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: 75fea2d270587447e036af138c24b66641edd3e9 2484 elpi_3.7.2-1.dsc b9307c996d531cf75b8f7c4b666723bef164609f 2707427 elpi_3.7.2.orig.tar.gz 0ac723490ab6c7c8960ad087b0f362e065c5bc71 6140 elpi_3.7.2-1.debian.tar.xz 7334b90a422ef22b727115582b2bb83c20f8768d 12725 elpi_3.7.2-1_amd64.buildinfo bdcdc8a7d72ae9ce2b0f45eb8b5b221ece315884 1874564 elpi_3.7.2-1_amd64.deb 3d383170e61013da9284bcb034a64c4c427f7660 12174836 libelpi-ocaml-dev_3.7.2-1_amd64.deb 1c8c00ba3e7bc5d8a6c1a9df35a6aaa08c6c7421 3400192 libelpi-ocaml_3.7.2-1_amd64.deb Checksums-Sha256: e5c1975b389fe317fc492c0eca91648bb08d486c2d2f595de6203036bd11aa25 2484 elpi_3.7.2-1.dsc 0f624e18d764905912dfc074df1f82aeb6deefc2c60c67a64defe8f5c821ac56 2707427 elpi_3.7.2.orig.tar.gz aa1284f8d1a6b6bb08cd3ff2af2af6c49149d2da4d9ed0f56af9835cb1fa5d75 6140 elpi_3.7.2-1.debian.tar.xz 06ea4cc84ecc6ccf500d9ee140db033c85b16400713ffd9dc11f2528d16ee381 12725 elpi_3.7.2-1_amd64.buildinfo e0f45ed2341653dd246de62a86627ceea2be9bf256b501a33da69d2092fd969b 1874564 elpi_3.7.2-1_amd64.deb 3014e7aa21795b3f53ec822c1978255d49934c74806887079e900ed819276d78 12174836 libelpi-ocaml-dev_3.7.2-1_amd64.deb 132fb981c5476b43bddd18c63329800456691612c5e1c234da79f80c19d892cb 3400192 libelpi-ocaml_3.7.2-1_amd64.deb Files: 73a79da4df4a5475ef1b9c8d8724f42a 2484 ocaml optional elpi_3.7.2-1.dsc 3ceeb16c4649f4983aa1ee57e39c71bc 2707427 ocaml optional elpi_3.7.2.orig.tar.gz c25a5be0ad74014f91cc38f321136d7c 6140 ocaml optional elpi_3.7.2-1.debian.tar.xz cc842616ef80bcfdfaad5015b58e0c11 12725 ocaml optional elpi_3.7.2-1_amd64.buildinfo c287d060a296164583eb88e248f2e5c4 1874564 ocaml optional elpi_3.7.2-1_amd64.deb 1561df46114e8d7c8130eb87ce449feb 12174836 ocaml optional libelpi-ocaml-dev_3.7.2-1_amd64.deb c69699982227d3b1363a1eed6fd8f754 3400192 ocaml optional libelpi-ocaml_3.7.2-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQqrQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURcED/9SiVwiHY9Hi7a/kXWW4qK3 4KzAXE+y1JnbXjXI0e7M9VnICmYaOiZoIhcGanMNAd+VsnujxwDd7QsnynC0iwIF Un8tcu8SzEDeRYQBDaF5yKUzjK4FpSfwQBT4ikhn0nIhdzXuwdod9UM47VijhTdi ClJWLL0cieW+8VvCV5cb4rVBxn77vkJK5xmj9+3Geifwy8Nr2Hk/XiITCMJzXBoL zMBJdhJCoY6DfHGk81/85dj1Iy0LNeqm3ormVts7lD6C6lg8H/+eqDJONSLAxjQ6 LxnjV67YJv5MOClP5jmUBzvqVRVdGH51oj+W0agjNUYlY0QrR4FjJlIvw1vPCDpq lE1jT3vS7VQnWj7IUTNM1LEJ6aN5OuZr+nxPUSMEKfNgZHfarqkkyBtGBpVW+PC/ uczaKJYKJj91ugEHTaK/J2Itrf4B5NvRBGdJgHIiJV77iBJuTVoIi0ggpE+/V/6R bQO9FP1N0OFiIeEWo249Ab+QB/ERCrPbh5F7V48V9s0Wz88aLtRfBX/KpoYnKZD8 MbQo6KRV1RJLq+uI0FhR51MuMIinzBPjtXW0Wjvhx0evKkTZp/ic/g5WvhjZPHcT JXLYC4akZLdkEPVHX2GOHlKzg1e0Ez4ond3+cta0UbxVPsjMjS0H4IySdvlhsjAT Nw88MfjIws6q0/1SJBM1bA== =lY+F -----END PGP SIGNATURE-----
pgpoB253Hmhuv.pgp
Description: PGP signature
