Accepted coq-math-classes 8.15.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-math-classes 8.15.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 16 Jul 2022 10:49:00 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=4GC5xeMycnKsUw7JYlBXrX2pcbZKSl2oL9e0vU/VpB0=; b=Ez7Q1Le9b9Q1RSMUCERniudTut MMx7ZOxD7gKDzGLbG6rO/LAfdGgAz0baxF+TaCOlzG1GcXTbjCF6yTFV93Gyq6z3PeRuKb45sRo67 z5GXKcK8yIOQQHaQKHU+90ZyWRaEm7QlGQzkSUoqrpiexvwoiIrznOmzv0zBpB6LwDiQbjAOIZSO9 Kd/Cs3uhPCLfbmU0vPfXNaq/3Kx8JtyDK7Iy6d3iyWXspZlEuD8zD2XZuQ3yGbM477YOBdDrhbt6T 4Z07NZH6DqpJYQLZ5fMwupBY1QtdRYPeKkHUclVLgo9mD/CWO4nR8ryDz0mJ3bqQyjBnx6XBol8de 0ygujfXA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oCfM4-00078S-Is@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 16 Jul 2022 12:22:15 +0200
Source: coq-math-classes
Architecture: source
Version: 8.15.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-math-classes (8.15.0-3) unstable; urgency=medium
.
* Simplify autopkgtest.
Checksums-Sha1:
5058ba9a85778f0a5cbdc4f2189e4812b9c1019e 2159 coq-math-classes_8.15.0-3.dsc
92034a319131f0bdda897e7c9a7fbcae0e2fcb80 2576 coq-math-classes_8.15.0-3.debian.tar.xz
491d3949571e18723e5007909658a6f20cf6b2d6 6910 coq-math-classes_8.15.0-3_source.buildinfo
Checksums-Sha256:
ad6a64b3d2fe550facb62ef93d0f731d7bdcd1e0e1748b57886807926b2e0123 2159 coq-math-classes_8.15.0-3.dsc
39b36037108b12ff6caf03166a3f867ae559235b441ff11b4b4b51f4f39b1f37 2576 coq-math-classes_8.15.0-3.debian.tar.xz
64fda304d5282555889e1968d0f467a9abcee10b403fd7f3879fecc86a1a06e1 6910 coq-math-classes_8.15.0-3_source.buildinfo
Files:
bb513b2b8f6dff2fe24b3710d8172edf 2159 ocaml optional coq-math-classes_8.15.0-3.dsc
ed558af23c0c021dcd2f1a7903e7d640 2576 ocaml optional coq-math-classes_8.15.0-3.debian.tar.xz
fa95beadd45fd87c593c84f7a4addcb0 6910 ocaml optional coq-math-classes_8.15.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSkYcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRYhMQAKIpLttWQUD2pU3winCIrWtimKK2PmkJ
N/zCHUm5iVfKiFtFtnHNOXcu07XHLPdGIxiCjxGewsR6GZMmiD3ndfNXA49wEGoO
V51VcbqJqH/+WbSwwrIzkvOBLq6tnJNtV6Hi+MhxjzHcAmuaam5jcF6MJvAk0VKe
AGBc/mhTSCgL1g2v1S7+ibbk29snrszNMG99osfB2eF/J5ELHWPJXTiYILR1Wqvl
gLoOgmIoE2yN2dP8lFaze8oSgzlPjc3nkSvN7er8k/7CqGhXWj4ADGzmBuA0OS2U
7K8tSckyrBnSm+NVi41CewRLAggM/bUx221dIB/Sbo19yhEhVfjINXghW0znJzNP
UvQgc5dA/NZJxbbD2nkMyE5XtrikTNMNANsUSaqr63q1iCdSQctSOQqmaAgh/4tR
RF4FOFrQFidpYJXvHpSZE77ZueHRwPFzrihrPRzCn87i7MtVQWYRGcmOVCeDn7iN
6WTEq+k8toTgXeuAj4tqEsn1jfWU5zbH+qMng2jb+OrLGYmOkJeu/Bxk4H0foCrp
la/7rIsB+tiuqkhxX7luEkdsmTMY/N6mpmtf/KKQlXiXhh5AxJ9ybpSsgzNQR9AX
Rjp8dllk2lpmF+iK/oxlRTcRomp+VFmLYgMj+woVb1kavdZ7EapjFpi7IMVQnX7g
n/zN5MHysuOL
=J2Ym
-----END PGP SIGNATURE-----