Accepted coq-bignums 8.15.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.15.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 01 Jun 2022 13:34:00 +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=Y2L3loaNoovOsJJRVLN23ewq0V4CIE3/U/PtHhRXkb0=; b=K1ZV3bZRhmArYBJyEner4tCPyA fBcZ3TdRze4KhlqnB0TO7jw4yrPfhQV7WrSzeFGCNdZwKvxn0ABB06+yH9cIn5XStUu21yB99J4N1 9jsRx+2cIqAr8QtDsw+CoamBzHRBeZHlKVGQEkRhpZeLSpAI2LX7K2Ty0/i2wB74JWRHGdXdOVKDR BdJ2r62x5PzMWdfX1I0XXE7kzwLatBUc7+1FNb1W1iNI8KYmc4W7Io19aSJHqcKYjhekyNZozAN66 LrMecLP2ca6z1MFpWoNyDFp+yYzUJBMP7woCaLbDfV00xliJwNllfvhR97Cq2uv6zwi7R5ZcmlsLy V/C1NTxg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nwOU4-000ImF-TQ@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 01 Jun 2022 15:07:56 +0200
Source: coq-bignums
Architecture: source
Version: 8.15.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1012060
Changes:
coq-bignums (8.15.0-3) unstable; urgency=medium
.
* Bump standards-version to 4.6.1.
* Upload will fix ABI breakage. (Closes: #1012060)
Checksums-Sha1:
3f3df1fa8f34290851f93292fa6a7ad840e78471 2188 coq-bignums_8.15.0-3.dsc
4224f702671ead7e36d91a98cdf65f06e79c1b1a 1844 coq-bignums_8.15.0-3.debian.tar.xz
95b32356f7cb5e2abc83a635c5be588d2f1ac79c 6730 coq-bignums_8.15.0-3_source.buildinfo
Checksums-Sha256:
012c705a48514c5b398a7bac6644173277bc3d0bc215b0811849abc0a956ad42 2188 coq-bignums_8.15.0-3.dsc
0ab9add4884ce2cedf6e4eee484445258c69cfca7bd73a6430ed0d6c51982fc8 1844 coq-bignums_8.15.0-3.debian.tar.xz
2f62f8c8af0f15e8d9498ca7bec0039e73bab63cc111d57a7c912703f39bcdac 6730 coq-bignums_8.15.0-3_source.buildinfo
Files:
0ffaf398963e9f5430c7bdd3bdecd07d 2188 ocaml optional coq-bignums_8.15.0-3.dsc
f971acc8efcfd3e5b5a88ae8a113abc1 1844 ocaml optional coq-bignums_8.15.0-3.debian.tar.xz
815bdcb172af7c328cdbac5d4c4bc408 6730 ocaml optional coq-bignums_8.15.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZWISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRCoP/AirUfC8O/+lOXZrHbNcNJL4fQ2/9sVt
SIAe2dIRhk+6P9I/zzkqLhkoHwhVw+INGuyyX02BTLIftzVb5aUYba65UjKWzlOA
qx3Sw0YE/BtrTTnzwG6XG9YzzULCGq298ikrzMmQoaVHNTaTFlrIEatoLjIkxKIt
s1EYP//hw8E+RghCgQmnLXnRJjAJaTFGP8bNFZIMlKrmSnfr0s4mkI2HG0ZTd32r
kBR7VArsUcB9OCKHfOTGNCEh26NM+AWQVopmVrOGdDRnTo8hgNxvd4PrmiYFs/LW
sCxDy8lYzCL8xOE9MikzSRn3c2UyQNCI7ytrmqCglWKpAjuuYgjJ+aPihxTwqmr+
UZ0Zbw0/oo+xezC6ZW9DbEOISw4JYH9OkZTCVLXjcTbCO7jOZAxhDEWWKosaocLh
GJgjJnc1+WlBvS49StF3mML7V5UXjxGinGlVPNiZ+w2CaraJ7+yBLw3aq/cZY5xm
WGbtzBsuXBrvXA/fizwaQDoedeVlntCuTO/OIaJ7dyy3gclM9Z7sRK/+KWEQxaxR
kGZs/NUbcqlBDN1WZL9FbK+WSaax7kl1tfyT+PiCE4uFrXH3SD+IfAj7S98vYs5g
Bdt58ypbWcLmGxwvsPDeBEPOpFRDSRYN+aZGnKQ79Z9GBEuiX9xd22SBZuOUehYG
f858EKY+DUQh
=XQhJ
-----END PGP SIGNATURE-----