Accepted coq-bignums 8.15.0-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.15.0-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 22 May 2022 17:48:56 +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=KRQ9u2lOb3fhzOqTT/Lvd2u5hHUCHrBJsbvWrSjoYSM=; b=OGMYiRKq2JzYJO7BQlJ8j1aQ22 F0Rhoz+CrXfc/CxmLfmBAyHmswiJ5f66ojC831qUpWSR1UhWVtvZOw13mHtsxhn503Jy2xF4+8mMq OFh6t4yGA3nYk3k6natDt1uZDJv1fEeSJtaBb2NiB690IrDnn9G7TXENsCleA1z5CVMHhhVFCLRWR yQ7vl9le7UoqlG1jWipy21ibuyzn8by95wrd+hd7Ny/Ldn50lSOVGSVgExP6YFY5JO0HO1zikqJzi vZnRPbX5xamFIIQdtiEesSH/57USv7TpVRs/sO53X5W+g4I6GeDAHWjiEceQwLL2619uW3vE32ZMD gy217khw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nsphI-000F6Y-V4@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 22 May 2022 19:24:45 +0200
Source: coq-bignums
Architecture: source
Version: 8.15.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (8.15.0-2) unstable; urgency=medium
.
* Re-upload to fix ABI breakage.
Checksums-Sha1:
6d5e3c2faf49c1a220939735a5ee80f3969a3aaf 2188 coq-bignums_8.15.0-2.dsc
68d90f8ab1d549f05bb87d484d11cc69980c505b 1796 coq-bignums_8.15.0-2.debian.tar.xz
a54a06f6cc8b35d0b99d7dcaf0ae7b75313b6061 6735 coq-bignums_8.15.0-2_source.buildinfo
Checksums-Sha256:
5f212868081e53280ff8f9799af3d3794507b81abf618123ad375e7b1a8604e2 2188 coq-bignums_8.15.0-2.dsc
ff58a179e70ddd4f9ce71d9f5f79320f4cc0a7dae4218e0e2afd48546ea837c9 1796 coq-bignums_8.15.0-2.debian.tar.xz
3cb99bc2dd95043a0aa8b49e2c1ffc3cf33a973859b24cb23108ea809e7a6bbf 6735 coq-bignums_8.15.0-2_source.buildinfo
Files:
44c00838166b9ce8120219f6aea97a13 2188 ocaml optional coq-bignums_8.15.0-2.dsc
f2c4d55ba63bc5af50c751c7c6776594 1796 ocaml optional coq-bignums_8.15.0-2.debian.tar.xz
23fd684b785c7d747a494e5919072413 6735 ocaml optional coq-bignums_8.15.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcfMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+KkP/3SBZlpCMIRxAQYljESF6lTtxa0fBwlr
PKK3+eFXIjfSlToUhaI51nSb//uOJCYwmA3Ts0Hjcl2D+LA2IAfmFKuz1k1+bSJs
EsG2TRmgE3CGHBNnX0F27hoPOYttwZs8fZ8t+P7TZMF77Nbn/27UxBO9hSwjOMBV
dKTJP0DHChav4qurcONOdbuaj3qr4S9qX5gpo9Gae7T9PFsa0VwLDrnst1bnOUlr
Mj6qczTzIbc20BBCtpoP0z4X+8ADmSae3yinEOVTCUYG2n9Bql/Q1SjzIsj44zc1
fnHboQya7OGV9YeYvhCnKYD22RrtSxzuWpsTm1QRZMEpnnEnxefQJnGlr8LDEbL9
TM4dnROCD8VYF72cQo9qIbeGoEK7SLHgCv1vpEnq7XKjhkLoPwcDOpjI9rHy9eQZ
rekPBnuYUyNfHrLMPiOVzJZwt3gY2hBghbCmpRzYFbTFjFFjbbvKu9Kslyv9qGmB
5047RhTW5JuiKK2/RH7fkpyiNb+IdfD34FJMUg2RBkSk+Rsoo4M1NKNUaOEzVqm8
OHJbbmJdgFWDBLy2GD5d6yg3LN1QHS9fKgMO4vb+60L/7XoH4NquC2iKwI2dtsfD
XWFbUQC1/ZBrRZaqUebwfVTFvo+sBNwkNIog/VpMV+yBDETN17rNy0/Nkj37hDPH
R3h0hQet9TUC
=+yKS
-----END PGP SIGNATURE-----