coq-unimath_20230420-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 14:21:21 +0200
Source: coq-unimath
Architecture: source
Version: 20230420-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1038450
Changes:
coq-unimath (20230420-3) unstable; urgency=medium
.
* Drop 32-bits architecture (too big for the VM there) (Closes: #1038450).
Checksums-Sha1:
ccf71ccc8635b2a0964d54107d35a5335084e24f 2171 coq-unimath_20230420-3.dsc
d3f546c7057d4ac77cb2950c64489c15c8753e4c 1940 coq-unimath_20230420-3.debian.tar.xz
def7d03f2961952e2da656d67537091d74b4eb29 7435 coq-unimath_20230420-3_source.buildinfo
Checksums-Sha256:
c743acf4677b861a08d8c65c66c0cf3351de1befaef3930c06521076ce01dfb1 2171 coq-unimath_20230420-3.dsc
7e9ebc987108dcf253384241fe5d02a5d11bcb928e3fa7a39c3a6811ea245db0 1940 coq-unimath_20230420-3.debian.tar.xz
2c22959a39d952ce8b8a2e52f33a0e907f4c1cdeff944746657de4120ec984f8 7435 coq-unimath_20230420-3_source.buildinfo
Files:
b51ac104cdc363505e9752a8ba98300c 2171 ocaml optional coq-unimath_20230420-3.dsc
c7cb9c7231ecbeb3bcf98bafb9cb1d6a 1940 ocaml optional coq-unimath_20230420-3.debian.tar.xz
27844cded54229870b68a62f586b0f0f 7435 ocaml optional coq-unimath_20230420-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSRmewSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRa10P/3XtbMiFkb7ZxbwUL8IKwYAf4Gu8U/ag
yhkYN7oKAYIfJbq5I7LU9KJDdadx4faWYC5aVJvAIJMen/VVWWP+nFUBFsqPbRHx
FsbKrXup0M88UD8elrGg7JSCqRKHvO4sjBAkeQyemu4I3KTxglo28oeqrxHH9bWI
d0sc7zRv1cORgVnVplRAFRaEBo2isg+efOwIL5FN79dwGUuMULBil6KrPi6xKZts
Mg6CNm0B9sKtLE0z+ZPDGq96nyhN5AV548rMkKvkJkTli+xgDu4DWxqeoD+JBzjG
EZap/uC8KT6jf7dq9XYfcOq7Pr4iAray6X2Lauy5q+uDuI6oU0YzlLNpbfygGx8l
vyVITkvKq6Y+/1g8PftVo6xTvFXioNmWAd1HMCSzevmZQ2SE4PKPzmfYgp8Z/Zbm
6FA7iRuD6yNaKHoklnt3JTI0YRyUlVKR7c99PUPlk6tYSl7oKgMY8ENDZeRQdVHb
qnt6jNYWmtxBJWPp/RmfNHaPePJTMPNDi831+w2aOuc4ZqF8ORDqeG1MrBE1Dk/7
b+Y87CpdoS67vV/vxnN1ECDHQSAxMmDoAjXnqs2x8/ZAXM91d1mZEQZUn9efhlax
mIrcgOtH0hSRws/duE5R/UOmEjXEQCoxtnwJ8dEr+MhXg7bWkMT2SyGgLUja3Vii
krRzLaUKoVSf
=oIc9
-----END PGP SIGNATURE-----
Reply to: