Format: 1.8
Date: Sat, 14 May 2022 04:06:35 +0200
Source: elpi
Binary: elpi libelpi-ocaml libelpi-ocaml-dev
Built-For-Profiles: noudeb
Architecture: amd64
Version: 1.15.2-1
Distribution: kinetic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-019.buildd>
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 (1.15.2-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 924d9632cd8e32744220ed686cb8b39c8d81bc28 7008 elpi_1.15.2-1_amd64.buildinfo
 749e96f1c73e5ba9f3bb774de935b1ce3148a879 1367812 elpi_1.15.2-1_amd64.deb
 be9a78dfdd8fd205ddcf2f94d5f5d18afe3b0b3a 12509422 libelpi-ocaml-dev_1.15.2-1_amd64.deb
 1acdf916c48e89de0e4f11f39100735be2b494e1 6299596 libelpi-ocaml_1.15.2-1_amd64.deb
Checksums-Sha256:
 f66c055cf8146128906ade068a48f83f748c088b2ecb256e54cdb61cd1f74fcf 7008 elpi_1.15.2-1_amd64.buildinfo
 fa6a94ebd3357b35ed33b1280d3fbdf0264d8016a09d9b5fe95c60d165e911f6 1367812 elpi_1.15.2-1_amd64.deb
 cc40d274e807d8cd46c64396633619b8726679e1aa70a1660e9a4135bf65e588 12509422 libelpi-ocaml-dev_1.15.2-1_amd64.deb
 3dd4467333df18fa8e2bd4d9b50b2806955a7146c0b82bb6c9b67e064a15345a 6299596 libelpi-ocaml_1.15.2-1_amd64.deb
Files:
 ced6ed811b123a2d3fce62d850bbff06 7008 ocaml optional elpi_1.15.2-1_amd64.buildinfo
 243f72beb1ef48bdf3cc80792a031403 1367812 ocaml optional elpi_1.15.2-1_amd64.deb
 f2a5574a76ee928cb68036cafbb37a78 12509422 ocaml optional libelpi-ocaml-dev_1.15.2-1_amd64.deb
 ceb676b1c151f3969d9cc01bc1b85da4 6299596 ocaml optional libelpi-ocaml_1.15.2-1_amd64.deb