[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-math-classes_8.15.0-3_source.changes ACCEPTED into unstable




Accepted:

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


Thank you for your contribution to Debian.


Reply to: