-----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-----
