Back to elpi PTS page

Accepted elpi 1.16.5-2 (source) into unstable



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

Format: 1.8
Date: Mon, 12 Sep 2022 13:52:08 +0200
Source: elpi
Architecture: source
Version: 1.16.5-2
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-2) unstable; urgency=medium
 .
   * Enable tests during the compilation.
Checksums-Sha1:
 fc567a5a49de5721ae983c526b54ca265ee42cfe 2257 elpi_1.16.5-2.dsc
 df92b1d205fdddf92dbecb4a948fe21563c459fa 3588 elpi_1.16.5-2.debian.tar.xz
 149e1bdee9b41ca880eb329aa145d654890d05b4 7077 elpi_1.16.5-2_source.buildinfo
Checksums-Sha256:
 61cbadd88e06f62036d6e7124c9eaa234d1bd486d7be65f8790116f37202b0cd 2257 elpi_1.16.5-2.dsc
 7fab90f577b961e0d52af8ad1eb92e4ec6a1a92a1320f0d3d2eb90f18e057149 3588 elpi_1.16.5-2.debian.tar.xz
 260cc83fba878711ed107780842cd53acf786c9d83fe706c70175f1a6f101286 7077 elpi_1.16.5-2_source.buildinfo
Files:
 a28d9764233b60be38ae7efbbc800905 2257 ocaml optional elpi_1.16.5-2.dsc
 d015a5263e4efde08e3a97ebd4e1b3e8 3588 ocaml optional elpi_1.16.5-2.debian.tar.xz
 224f423983001de7a6176485f9eca070 7077 ocaml optional elpi_1.16.5-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMfHagSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR2T8P/ibheUCePKwQj1bLqgjkqZr/Xv/0Xyvz
1sIi03ouNQl/uxcrpSHRmPCUBNHMK+axHa2BHJFuabpSgr28uJYZ3e8FT2bWv1It
2JEHYwqiiJmXUK3d+N3X9Cvthqto3/9NRyHtM+f8qDmIw7HpzoNt/SNGwPGxMaeH
RJ7FqLuHjALHKt1Pkg6AJXhMW7hpuljGpBCZ8Wd14VpzE1b9ncmeTAmM9b18K7DA
EypjTkYC2LTpk1x8JHSylzYzTLNhaHzJ1uwS9DjaQidPrQOG2L1KRr+lyyQOlDvF
ElPbszrkbA3bf0xw9sN2QB8ZwQnQviOQ0e2e/m/nj31+XD1hWu+Rh0ztYDjGB4O2
51LRnh6mXVunXyGbUChcaiug4AZB7HCNR8KZAsRniVx/2/BEE/adQLbMkKJIiIW8
iRig8O6GUYojS1oFDFBf19Y1js1Adc0iiRR6qlLm9weKfk7S7d1SD3kV/XC5cHc3
CRnczNWTt9CVoVQLOYSgcqpZG+rvkf4codeMk7dJeQyNhQBY/tAJ/vt/N/fHCz7W
POaZ9B3Gp10cVeLx/nRRhVn6Kdw98p3w2WQDCyuCo/z4VX+z11A7kyyjc8/5qtgQ
iBR6f7KFwsNzsGvepnqCUvw3NHPBLZTjPDFCdptIJc7SzNqH2aoUKerhN4MBDot6
HtgD1A0v/adv
=5eUr
-----END PGP SIGNATURE-----