Accepted coq-unimath 20230420-4 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-unimath 20230420-4 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 22 Jun 2023 06:03:57 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-unimath_20230420-4_source.changes
- Debian-source: coq-unimath
- Debian-suite: unstable
- Debian-version: 20230420-4
- 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: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=Z6FT2jWUvSmHNeGYn2cxi33et3Qj7mUw+sEfBRx896o=; b=CnOkizg5qAwYUNPOvn6ZBgrJHz b/O3Hh+rqq2D9AbBOlH6Hyd40I/p/rl2kUJat6MAcmeWzY9jwuWDsrf4PX459OLNgGUj7OYr7sh2H zY6HsDcWjEa2l0Gh8Xqot9akhTZXmvBKe7WUjoFS/AGax8WT20+WoJkM5KdTP60mOQ7ujWgsnLY9b +xPA1DOMahoZ9cLn5t6eG4UK3EX//d2gY+hG4lXqWNqNBbDYscL1uyDhsgW8T5Oi/1bVRs9ufFe7v jSPJk88OWoJEwqbASSsR82UxaVtPImpi1xFhNkiKlU3ES76tO8QoB9OfjCu8TF3z4mx0n5YuFS9Tr FZO/kbxw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qCDQD-00CoJJ-1n@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----