Format: 1.8 Date: Sat, 17 Feb 2024 01:22:51 +0100 Source: elpi Binary: elpi libelpi-ocaml libelpi-ocaml-dev Built-For-Profiles: noudeb Architecture: amd64 Version: 1.17.4-3build1 Distribution: noble-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Gianfranco Costamagna 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 (1.17.4-3build1) noble; urgency=medium . * Rebuild against new OCAML ABIs. Checksums-Sha1: f0b9ae39beb8408cd573ccf8a0ceb128cffbabcc 575212 elpi-dbgsym_1.17.4-3build1_amd64.ddeb c5fc2ad3a39300c381ec4cd504cba2ccb981598f 11732 elpi_1.17.4-3build1_amd64.buildinfo 53aca9fd7b66ee264b2f2579359611bdea5db469 1643600 elpi_1.17.4-3build1_amd64.deb b192d910ee49315731d9b9bd23b32256d48d5012 219616 libelpi-ocaml-dbgsym_1.17.4-3build1_amd64.ddeb 90c84f1b4b60ffbe2ac0f06b4f0a09dd8eaaeb4f 1312842 libelpi-ocaml-dev-dbgsym_1.17.4-3build1_amd64.ddeb 3ca660e40464160a279cfd1dd12a8f57a7909633 11360002 libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 5d9cf1d019ad1b994a36d293be7a8f0fbb139c56 4842862 libelpi-ocaml_1.17.4-3build1_amd64.deb Checksums-Sha256: 139ebe3792b9cbb1c4a70fd21cb3cb33b9b70ab39412799bc9d7a2ca82e09901 575212 elpi-dbgsym_1.17.4-3build1_amd64.ddeb 3a892b7fdfec117d86a706d596b21b345ada1bb4de4b73538aacafc39c58603a 11732 elpi_1.17.4-3build1_amd64.buildinfo d1da29d309a958f0816ee502992c1ab4f581b18dfd055da018038dae4ec00c73 1643600 elpi_1.17.4-3build1_amd64.deb 50c5c6d090414e6a5330e358a69ad5beb379c6820b0632767d9d0e98682e957b 219616 libelpi-ocaml-dbgsym_1.17.4-3build1_amd64.ddeb ec8203e649ef441a8a60e6fc959cc2093b60fa2e8e810c49e8207d0afeff3b0e 1312842 libelpi-ocaml-dev-dbgsym_1.17.4-3build1_amd64.ddeb ef3ccb3d3f02c85fd8eb0025386682bb176aad3d6fd797e01d930f1864218cb6 11360002 libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 88b427ca990a886243c7eda0f914162087a97770fcdbd2dc1b273f9d7099be2b 4842862 libelpi-ocaml_1.17.4-3build1_amd64.deb Files: 9239c1c3988c04c79cf446a6a77c9985 575212 debug optional elpi-dbgsym_1.17.4-3build1_amd64.ddeb 0c231d15b813c1a5fc41bd37af2d72d2 11732 ocaml optional elpi_1.17.4-3build1_amd64.buildinfo dab24fafa6ca4c9ff8a9c7c18373d0d2 1643600 ocaml optional elpi_1.17.4-3build1_amd64.deb 40b5c758b4d791b5b0b9691d382d3c38 219616 debug optional libelpi-ocaml-dbgsym_1.17.4-3build1_amd64.ddeb 4a5de5c21dd26668635bb411f38afcb7 1312842 debug optional libelpi-ocaml-dev-dbgsym_1.17.4-3build1_amd64.ddeb 4a71443d9c176af1aed1fdab81f6d1d1 11360002 ocaml optional libelpi-ocaml-dev_1.17.4-3build1_amd64.deb 43cb9089af743cce64b7566ee16445cc 4842862 ocaml optional libelpi-ocaml_1.17.4-3build1_amd64.deb