Accepted coq-elpi 1.13.0-5 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.13.0-5 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 13 Apr 2022 07:19:04 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=zs0TmRkNNtJMdT1zaVk+2HW1xnopuWJI95VBps1Wb8g=; b=a35bwEMC6u/Hhzr2E1nhJfr630 YaO49vu1lQc2LYmD+lgMhg/cn6XxxXgttIcl6V2kebtF80XqodOQg9LzYcEH95TdRiIR4Ne6Kf0tw uHtcfVVwuEO8OfmTPRkJTxkkyYfiKenqRTXinlWIDrUuF/FhoebPpmMHXy0jb6a0g5aBQk6Y6Ur3K dCZjvBH5lyGP8ocfELdoZrSQecjJhSek4ceubcSi6D1jRpqjt50x0vvjmTskDGL0g2HXvCknOWy5+ ylrXDz3V+V/Ks/JNEfP96krDTLCOAPkBj7hWkAcKuDvHJ+4flfZl8YMskWKbGasGdi+Z+O8nEDhCe ha6brRxw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1neXHM-0000mL-B2@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----