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: riscv64
Version: 1.17.4-3build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos03-riscv64-028.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@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 (1.17.4-3build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 44c718d5484b22918592776f5d6cca2ab1059543 495780 elpi-dbgsym_1.17.4-3build1_riscv64.ddeb
 4e496f0096637fad29d03789018a053f582fa271 11522 elpi_1.17.4-3build1_riscv64.buildinfo
 2e9b4e0d2a7c195e5883766d86d972c345a93034 1756626 elpi_1.17.4-3build1_riscv64.deb
 356ade0b3e423c7e97ba54c479c566d01f38f298 217730 libelpi-ocaml-dbgsym_1.17.4-3build1_riscv64.ddeb
 f3683705076d245fcec299de6c0016381103b098 1042306 libelpi-ocaml-dev-dbgsym_1.17.4-3build1_riscv64.ddeb
 37be865a85684d6d80e32a7480c6f28030075951 12355234 libelpi-ocaml-dev_1.17.4-3build1_riscv64.deb
 118a1c393fbac81c8cc88605a3f7a79944ba3475 4910968 libelpi-ocaml_1.17.4-3build1_riscv64.deb
Checksums-Sha256:
 22650fa548bb98acbdb6ed811656e577ad56b5dcf157f667bc0ca0bb1f6b63de 495780 elpi-dbgsym_1.17.4-3build1_riscv64.ddeb
 ba91c6287ff98b788246390a9f8a452f44ad0d123d43b4c944e157cc6d48ddff 11522 elpi_1.17.4-3build1_riscv64.buildinfo
 f40e7b69bb32fe66e066b2dea71c870d2ef7f124319cd0087db7ced34699904a 1756626 elpi_1.17.4-3build1_riscv64.deb
 e3b0a3764a43c869b687153947688ca2243ff3376e7b7d3820ea5bc272a1523f 217730 libelpi-ocaml-dbgsym_1.17.4-3build1_riscv64.ddeb
 9b73424261cb31903f272029c0ba7a7327f004da2a10aa21153c1c29cf9edcc5 1042306 libelpi-ocaml-dev-dbgsym_1.17.4-3build1_riscv64.ddeb
 867290a5cd0d0d3b23d13f41b7324c201560ccfa47a2d439a02a51d9c89c02ad 12355234 libelpi-ocaml-dev_1.17.4-3build1_riscv64.deb
 87410e966accfc5756620750f95ca05c0833f105acf247172fb5c7a4b48b0f70 4910968 libelpi-ocaml_1.17.4-3build1_riscv64.deb
Files:
 c1168861f0bb358314f57755831c38f8 495780 debug optional elpi-dbgsym_1.17.4-3build1_riscv64.ddeb
 d05ee990dc3958365a633ce8da6b1bf4 11522 ocaml optional elpi_1.17.4-3build1_riscv64.buildinfo
 21c5f7224e4c0d3aebc4a6f99e7e0b95 1756626 ocaml optional elpi_1.17.4-3build1_riscv64.deb
 e39f408251bcc2a707d21d257f27af9c 217730 debug optional libelpi-ocaml-dbgsym_1.17.4-3build1_riscv64.ddeb
 37b4e9a5ed614e8c95fab1211977a3f5 1042306 debug optional libelpi-ocaml-dev-dbgsym_1.17.4-3build1_riscv64.ddeb
 77e5ab4cd5b91f6c348c748a065de754 12355234 ocaml optional libelpi-ocaml-dev_1.17.4-3build1_riscv64.deb
 7044d933c2d573689a71fafb97ae2eee 4910968 ocaml optional libelpi-ocaml_1.17.4-3build1_riscv64.deb