Back to elpi PTS page

Accepted elpi 1.13.7-2 (source amd64) into unstable, unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 10 Nov 2021 18:46:46 +0100
Source: elpi
Binary: elpi elpi-dbgsym libelpi-ocaml libelpi-ocaml-dbgsym libelpi-ocaml-dev libelpi-ocaml-dev-dbgsym
Architecture: source amd64
Version: 1.13.7-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.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 (1.13.7-2) unstable; urgency=medium
 .
   * Better packaging.
Checksums-Sha1:
 a68b1a9d00b2fa18fee83ef5deb206f89c95c62c 2108 elpi_1.13.7-2.dsc
 2804da76cceb62c9d3d5393400665b63ed202e35 3072 elpi_1.13.7-2.debian.tar.xz
 f102e4fd9b978cad5ede2fbd6d972018b0a3af95 249228 elpi-dbgsym_1.13.7-2_amd64.deb
 f9c82867a939f672d1985d9123499bac60869c69 8858 elpi_1.13.7-2_amd64.buildinfo
 4114d09d0393aec8240befe292c0c7a9ffa9673b 1003136 elpi_1.13.7-2_amd64.deb
 25ae356253bb5442b6bb2f21de46db47beaf6167 122568 libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb
 17f9ca6f634d122b192c6c3ca41296654ac50e7f 949688 libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb
 7d1453a97fe82494cb486c8cf9e3e4031d1a6c73 7124652 libelpi-ocaml-dev_1.13.7-2_amd64.deb
 7c8b685ade9a5e807eed5941bdbea6f8cebf6bbb 1905104 libelpi-ocaml_1.13.7-2_amd64.deb
Checksums-Sha256:
 01c65d5b7a5b75ae96aa8e3e95ac2b912f36ae1741900d9b93e76af7adcf19b7 2108 elpi_1.13.7-2.dsc
 4eb05a048ab1d5e17336b43dd73ac1d2498822f5fc265055fa051e02ea48ce54 3072 elpi_1.13.7-2.debian.tar.xz
 d19e774aed3c2c75c379a15bf3227992f6558d2d0a0e02bc5882484c96b678bb 249228 elpi-dbgsym_1.13.7-2_amd64.deb
 cb7e691f361cfacc61a38333b8b1a9347fa4ca5e8cfc553eeb29209c00773dae 8858 elpi_1.13.7-2_amd64.buildinfo
 dc5e946f1c7c34748d64f1e1fa027146be8f0d1683ae9e4995004a442dff1ce9 1003136 elpi_1.13.7-2_amd64.deb
 5ae19d2366ac0751f45c04eb1f97c8bd37c1393d29260345ebe92ee08e720526 122568 libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb
 97ff569b9af3006cf4743f24e30294be4b3be8227042a9ed8ee36f07af4b06c5 949688 libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb
 aa3eeb904ffc6b2ef208f0e4cbcc597fe8ab6576f0005a6de0bd981e61cfe067 7124652 libelpi-ocaml-dev_1.13.7-2_amd64.deb
 af8cc2c60cb78c94191841058c016ca38b98f3b2fd576ff0e37f5b78e08f0527 1905104 libelpi-ocaml_1.13.7-2_amd64.deb
Files:
 476077d523040f803fc02662dd24a737 2108 ocaml optional elpi_1.13.7-2.dsc
 e7eb65c5ac990a99c548de5a09ee46a6 3072 ocaml optional elpi_1.13.7-2.debian.tar.xz
 2dc64ab36b93d276535a958da27277bf 249228 debug optional elpi-dbgsym_1.13.7-2_amd64.deb
 c887285f584bb0529d1e0c4d794397fc 8858 ocaml optional elpi_1.13.7-2_amd64.buildinfo
 8545b5ca9e2483d31132609bd8cca737 1003136 ocaml optional elpi_1.13.7-2_amd64.deb
 c18737dd1c3fbea6f8c7b18f947ff534 122568 debug optional libelpi-ocaml-dbgsym_1.13.7-2_amd64.deb
 c5bb92fb86d142771664ef13f88c9721 949688 debug optional libelpi-ocaml-dev-dbgsym_1.13.7-2_amd64.deb
 ad85194b816b9e3dabe98bed6deb7179 7124652 ocaml optional libelpi-ocaml-dev_1.13.7-2_amd64.deb
 a8c566b5d80f23326691ae8c67872ff6 1905104 ocaml optional libelpi-ocaml_1.13.7-2_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGMBcUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR5nAP/08sxZW4FofPbNg84n8bk8QAA1PdNNO6
yzkht6sjMCpfoUrVxhwysoNoSmoTU1YBWUPzFxvCRgwjgeqUpnRlQCh1TFDN/0gt
bOWgCM80mTPBuYErMndReTmL2s9ddJ5O1uSg3RuTSTOfvjB0e9lw6MSex2EZkw5I
CpjvEWptHIcQZIO3uN7TwcW2rv89NkwyNbVMxbhz8XSRmmobxPOn6CBY801InH4x
dA655wgTnrL5bJd7DcJFd09081nxsrN6/2JTE8SWBdmyL+bCFlJBT4AJ9q565nEz
LFZpPbRG49ST+PSA450lBWEgbBgNbns39mfrmw8hHhPU6trvyUcUXcMQWcrPwW+8
eSk308qzaVtkh1LficuHkwRfe77qFdhZWziOnUuHtC4sQjv8ZaVbjl/FBbSbXzst
XbV6xg2LYGMSmi7k978cwDp5oxmedXrL2WF91zmSOAffeTvb4kFzvnu6CG+UcTkY
himJaHy7Ad4NEvI0KAsbBwzOtQ7D8oAQlguRPxEym/6F224VHaPgIwzJZod+jDh6
F0jcLajoSaBs1lwn01vGdSrzSdJ+WY56p4Kc7EzuhdAWVuwNfFlq/SCUsfOt3vmO
wAA0a0xLWnmKKnbcXBCuCzPsof2DeUlJ6XDcyNq9eyLGgA9wmefRezNS8JaMpaaq
Aupm2vYZ9RkC
=PowB
-----END PGP SIGNATURE-----