coq-unimath_20230420-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: