1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

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

    From Debian FTP Masters@21:1/5 to All on Sat Jul 16 13:10:01 2022
    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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)