Back to coq-elpi PTS page

Accepted coq-elpi 1.13.0-5 (source) into unstable



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

Format: 1.8
Date: Wed, 13 Apr 2022 09:01:51 +0200
Source: coq-elpi
Architecture: source
Version: 1.13.0-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-elpi (1.13.0-5) unstable; urgency=medium
 .
   * Fix binary packages' depends.
Checksums-Sha1:
 37c97a89da126e5448b4d7f4d3c4267ff00df6b6 2146 coq-elpi_1.13.0-5.dsc
 29c9a4492322ce0d7dc3a4c09a7750ec50f7a09b 2960 coq-elpi_1.13.0-5.debian.tar.xz
 ad135550d17fd411aeaa003b8bb2349dc71a61ec 7158 coq-elpi_1.13.0-5_source.buildinfo
Checksums-Sha256:
 d9dae9cd4f84439538bd1ef662e2d987ca7e4d6022f436ae7a390f61c7c133cd 2146 coq-elpi_1.13.0-5.dsc
 fea05f1ab9dbf5b217400745eb9e468f09bd571c9433238f77a39788f9d60086 2960 coq-elpi_1.13.0-5.debian.tar.xz
 def6b3df3cfba5de3ddbadbcaa686e15bddf9623a769815e0b260da6bee5eb28 7158 coq-elpi_1.13.0-5_source.buildinfo
Files:
 be9eed1e79dbfee07ee023b24330ef5a 2146 ocaml optional coq-elpi_1.13.0-5.dsc
 d92297375ac5c5536d5ac5ef71582949 2960 ocaml optional coq-elpi_1.13.0-5.debian.tar.xz
 777e79527c859f4d26fa0c1db3320891 7158 ocaml optional coq-elpi_1.13.0-5_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWdZMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMXsP+wfl+hWOVwsHuBuwZHJKbA/UNuwpzJ3n
0CNpTNvISwpc8i3KCWhFLodlBwRMa3u2cHQ/GlVJ0upyqNTdn5FHRPaJ8O4ARdCr
kOFFDHDi5EYF3iodOhs66H4y4LVXT0Vgi5r3TTu297QJMp08J/9unQzyVje9eBXT
fjVwsF562+0gNcdNYWKNbodtchQi+bsypODexd0mngI3PIh4zgShM4kf6iBUKLiI
4ajZW5H7O0z9Kn6sgxLrSxkAliTHCE7n25Sjz72sLLAeYSYk8714R3/aWByKN0dg
fx6Gx2BmvLB3ukn4I28PmDZiBlHBrZ+FlQjET6aKP/si4Sw4wpGQIfJlqAYtJx44
aYw09lKLnwvYyPugZeoyyE7BSknNdM4juBn/imixRdsH9ueQwmVLoOtwraKfWYaX
mL5WyPji71k3D/tannicbp4j9krBW63RCVG6TaCVjDM2p7YIeKwhYg1sJzcXWARh
r4lwVJES9nSDSSoRJGasBhg4PVB1SW1fa1EpwOkEQfLJV4cL1F7lOabcrMTKtw6/
SLaG0R+dn/UXLnVWRyPBOrXJAGm/D2/ZCrC+DyZrjO3kldQiHssB09C/SFdG5k4r
UCjcFMYbg2rJUX4yDdR+A+srF3rDTDVKAeKUiiQj1aKSmIIFOzymC+xri39OXpND
dDKYr3p7Clp6
=jbG+
-----END PGP SIGNATURE-----