-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 21 Jun 2023 09:50:31 +0200 Source: coq-unimath Architecture: source Version: 20230420-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unimath (20230420-4) unstable; urgency=medium . * Re-enable 32-bits architectures using upstream patch. Checksums-Sha1: bcfb1d4121bd2aab0c64ad6701cc7c869754c45d 2109 coq-unimath_20230420-4.dsc 7d3ae1d0a821fcb35cba5e0306604821cb9f227e 3320 coq-unimath_20230420-4.debian.tar.xz 4975db2043468c3084879789e7f02983db71b6e4 7435 coq-unimath_20230420-4_source.buildinfo Checksums-Sha256: 214834e0c9a7c93c9418811d592dcf38d5a8d8ea7eca7dd8cf642dc72ed19488 2109 coq-unimath_20230420-4.dsc 3a6ef20008cfd1bc21edad05c5f6a98b5fed6986d34a53f578f4f66b479adc9b 3320 coq-unimath_20230420-4.debian.tar.xz 0cfe54c0eab087ea888f795f2350d2bcf170ac5ed1c08fc5c1f6e0537afe0f0d 7435 coq-unimath_20230420-4_source.buildinfo Files: 1fd93c41777b64e5458300868511287a 2109 ocaml optional coq-unimath_20230420-4.dsc 95e06c86a8f65caa96818d052fcf2fe1 3320 ocaml optional coq-unimath_20230420-4.debian.tar.xz 539d8454b78cfac2773c3c629f9360e1 7435 ocaml optional coq-unimath_20230420-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmST3s0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRirgP/3xoU4+KSGzQFgzQbXEyyMz7Yv7MwjbS KU/6zxdCDVsQglLUCuKU4Ivxo0hb/OAUSvcVkEGMvnsjakMrkzKXX5uG8EN48Gz6 8uJSd9t3fUzSG3aUfzoIVd3bZj2U8gtl8T7tYNnb1cPyniMqir36WmFU2OzIolOR U0TwlBKXxRqT2/IkyeN4ic/Me+r9xHa8mnEXA+xlBl2uGJKfUjWVuBqPEWOED1hN qD/hK9XmCWEqo0rx9YM+1bToWQXzlto6fxrnKV7vO39V3SpeTT+mMFHuC54ogz2t +f/4W/36ATLefYqLd0BWwD1OURvjHp/uHBnCr8QsN2y0JnFs0xNyAY01JdoH+O5h u9uyh9jb8uU9ggkncN7mGTYhNs/d/allgMnwsO75a7zLtKr/2Kpmq8j687yCXgfb dX6xcKmbApqNpk10+nWtpZNvnYSz3mO3N5ecxQXcrYis29VQScAMoETH3oZBqpf2 cVWgSos2CWRMo+6VByNwYAwcvE16lqNrrVCzxVPPJ5Xn3er3mlIrGZLnmGRj3waB LrxdJYCNK3Lbm8Zb03IDYWrc9x6G2Dbdgb+uZxBBhh7emtu9CZkQtBSHTHdZEu66 mCu9m/oQJDnZqXK2KauCZq2GVcDG1hpk+RjafaXGNKjOFij+n3vF178YWhc1Tj+W w0+/F1U036q6 =jRJX -----END PGP SIGNATURE-----