Back to elpi PTS page

Accepted elpi 1.16.5-3 (source) into unstable



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

Format: 1.8
Date: Mon, 12 Sep 2022 14:41:30 +0200
Source: elpi
Architecture: source
Version: 1.16.5-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 elpi (1.16.5-3) unstable; urgency=medium
 .
   * Add more deps to help with running tests on several architectures.
Checksums-Sha1:
 e78cfb21df88d0bb5709c23436ba7d9430628b98 2274 elpi_1.16.5-3.dsc
 9185d3f4bb22f3d075cd6b3e3fa4faa45ce0a0b3 3648 elpi_1.16.5-3.debian.tar.xz
 50e440fb4f105550f1f8502aeb94af1d52a9bdb4 12508 elpi_1.16.5-3_source.buildinfo
Checksums-Sha256:
 b9aa00c68e8eec73ad1e319e4f4e406d97972a908b051cd7fa77f6b4ea0df6a9 2274 elpi_1.16.5-3.dsc
 2cfd384f49d50f3237e5d5b73d84a0aa233fc2bd4fcad2c91e09bc4ef5f5996b 3648 elpi_1.16.5-3.debian.tar.xz
 285e07cbfa67f5eeb56884dec2551f8f5dfb1accefa81726eddc4c19ff025e15 12508 elpi_1.16.5-3_source.buildinfo
Files:
 c42152c542987802e90e94fe7463a8d0 2274 ocaml optional elpi_1.16.5-3.dsc
 7a165f46fdf178e8b26d9dda6b6ecb59 3648 ocaml optional elpi_1.16.5-3.debian.tar.xz
 b5b6aa5dd876f811098cf6efb4b8b5e3 12508 ocaml optional elpi_1.16.5-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMfKSsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoxIP/2rmLj6lggQy901bQCo6vZj8Cixj7nIT
BSCB5ryLc77NI3D855vSD748d5KYlbzWMvxoeRKhzkINHWEi9TRhRf5lQDqEkd+r
u6qYZAY9wNVwoWdVo7th6IKLJJ2tPEH31xbpSVwtK3wrbnrQX+qWlIKYoEdUt2m5
ch4A+tiiOyuxXvSpQCGbQIEUnsF0Zw3AnrFsuVC95izdq+afQZC7KbYzwxHu2Icd
yRXqkNcTDUYrWLSDZj1HonkhZrRf8g3od9JjIIuHDBgWugGDVgUwX/A0248c59fh
tnw2lrkt+sdw2tpAbvusb3T5aCBh7Jn6OFuq9wBFa+V5S2O27gZdBKrT+oKaGYlb
c8MtQnXPEvHAujydMC2XATLztlzce7/qyU9mAgoSLbJcII43V3aiHr5qzr+eSK5X
gTa1dT7jB8FEPO/Len0rX4R/jI/pNR1Lw07Xi5j6wZF2qX99LGAS3D1jkMvz3eEA
SnlYTbVnFCzsNC/TuGPAk9nkwuCGXQpe26YDNLDtXBS7t1+RYJdK9zkX/HaqXJ51
uRS16O85pnLAGd6lWRfHvshmnv6MvjKnE6S6GycycAbV3AUxTIarGLde6sdVGYZh
IqVFHiao22UPsRXrw+uBTkK6XafNOfgj5cgpuP9p0Lh46fInPa4qx9587VJUqKU3
XKY+uDtvKKLP
=nrzn
-----END PGP SIGNATURE-----