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

  • mathcomp-zify_1.2.0+1.12+8.13-5_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 21:00:02 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:14:04 +0200
    Source: mathcomp-zify
    Architecture: source
    Version: 1.2.0+1.12+8.13-5
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-zify (1.2.0+1.12+8.13-5) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    7336dfa794100cec979d968e20dee06065837502 2113 mathcomp-zify_1.2.0+1.12+8.13-5.dsc
    2a738d273a4288da0d9491645fae077dec0632c9 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz
    148eae2786e0606e2fd1a0412f75b415a83fb62f 6720 mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo
    Checksums-Sha256:
    2294905607a4e404a1e14ae5846a9274c6115f7de9db3be17607d02c020d9907 2113 mathcomp-zify_1.2.0+1.12+8.13-5.dsc
    c294c81adb80293e15c46674ec6c8de2d1e938aca46e1368ef6ecbe301e86841 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz
    fffa157917b9e3fae2219e7448af4574bb1d687fd0cc62e355748f2f85acf634 6720 mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo
    Files:
    939c1853f9186128efe85c92c12ff501 2113 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5.dsc
    fa2f63f101c10f90276d72be0a80a942 8444 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz
    ee91a3034674dae852a2dd05998648fb 6720 ocaml optional mathcomp-zify_1.2.0+1.12+8.13-5_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQ0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRbPgP/0rFOqYSe4SaSfHOfJXBi0d1Pcd01fM9 1pled+BGgafiWsfXs4ZAFmvb7jyhdTOQEkOoFzJ+qtfMwSuKCI8VJf9X8q7amMhY w8HiZrcJlDgd6oaxJcUBCKpET/y3r9AQxVa3rBZrybfdS44JPZ+2l/oaeOgsNuio OlgbofNh2wrJIJYGrVzQYfNv1QK4GKJ+DFXiWtM7oGjr6GyhDI0QLx3mbUAXcyML JZqxwmQ7GqzbXjfaNyajehDhfpzNuHkW8prI++63uONKK974Cb4ciG9skTtYrIRP 9v28ilL/EDl5Ry8vMrbHxy4f0/202c2lGjevMYZWq86Pvk17HX3eCa2t8VBQh/qr QwzGqP3vnWsbtXfgNaAPbzXzOEcx8C1qTT5xNZAz8oiLmjxowvxuBdmKBHn/10DO busxkNV6BpEskxUHmzf9FIv5pzjOniTtSB22uRVB2UhS/usdM/tnyEWNxMuBNU1O fKtg6Fn5/F4OHynjsZ14U/A4EN7KdF2NGw7Bv8kUHAp1C8hvhk1xJuqvBrMqhwP+ uUtcmlxYgjc9Tpn1gbpLhgYwdJYxzmZdWdmURXtU/CX/XpXtWlLYqD4x9dQJwooI Sw5R/8grKlMPwJg8HNiCiStZ8piR++DSsK/8yVAo6omgyU0pWkN64g5t+b0lIReD
    Tkg4POhsu7dH
    =k2hR
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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