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

  • coq-deriving_0.1.0-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jul 18 18:20:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 16 Jul 2022 09:42:20 +0200
    Source: coq-deriving
    Binary: libcoq-deriving
    Architecture: source amd64
    Version: 0.1.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-deriving - deriving MathComp classes from inductive types
    Closes: 1015010
    Changes:
    coq-deriving (0.1.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1015010)
    Checksums-Sha1:
    82de0e05ccd5cec1952dd33bc8439ec42cbc3796 2108 coq-deriving_0.1.0-1.dsc
    561b7d46deaab0b6965a7899fa0fe7fac09ff005 29290 coq-deriving_0.1.0.orig.tar.gz
    32d1521cfca1bb568db75259db333c3cbd485f6b 1908 coq-deriving_0.1.0-1.debian.tar.xz
    5f0ce50f70708543a83f2a7a7923d8626538b27f 7160 coq-deriving_0.1.0-1_amd64.buildinfo
    cb4ecf7f9655d1f3c9d76b9cc8d6186cf2795a53 428560 libcoq-deriving_0.1.0-1_amd64.deb
    Checksums-Sha256:
    eb422d50991740819ef8e53772321bf17824dcdfbb43d82af88faeb62fa46b74 2108 coq-deriving_0.1.0-1.dsc
    ec65d664f4e558189389fe7fb6991fd77f713f3b97a9da8d9dd7559cc444ee43 29290 coq-deriving_0.1.0.orig.tar.gz
    f61b8b764a9d6c78ec6ca8b469f87f543f9a7dcfd212a8da8bcbafb2cca19da0 1908 coq-deriving_0.1.0-1.debian.tar.xz
    ba1c5c13181881a477f62a792793f6657480d3fb3dc324f027105f2fe01c5ba6 7160 coq-deriving_0.1.0-1_amd64.buildinfo
    86147944dc555359b315cb554d915b9847d95923ed9635db4984a9bac9e57bbc 428560 libcoq-deriving_0.1.0-1_amd64.deb
    Files:
    bfce417f92c4d8f01d092a178c556638 2108 ocaml optional coq-deriving_0.1.0-1.dsc
    22562ac4efb223977bec66929d22e58a 29290 ocaml optional coq-deriving_0.1.0.orig.tar.gz
    b74c3317818a630fb1ac0e8c4ad1b862 1908 ocaml optional coq-deriving_0.1.0-1.debian.tar.xz
    37b440c56059ab4c82d50d0ce6ea1181 7160 ocaml optional coq-deriving_0.1.0-1_amd64.buildinfo
    01349bf1a1595f79d46b0c813d1ee47c 428560 ocaml optional libcoq-deriving_0.1.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSbIgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJLEQAJcsCQqQTgjqbRkYFAzD0Ju13wnb1Z47 aeaHQdb2Sas6dK7hqeFSdPcf5iBqV47+xckHGEIQp6LVxDdxI4gj1CjMbMuQDJL0 XgQzTRNuZbEB40jX/w7LoMcijLHTFkjQ2Gl1Et9I6JSJbbyK6WOBRKmmSdjrVshn PnrXhsoYCRnEjOroOtpBdHliJeY/nwjGrEliw8vp3VTRlhp7vjG1209pfCY22jRJ Xq/C2hSXhLuRL4ZSkQYxnXPHQvpSVM3t9uDEf+QyQco92LjDxZGowd7QrWPo0ha5 d4q2hPb0RYSQO3QDpH5JlJE5VLbHqbWzk5MPeXfVwUdwNH5XaJyxssg7C737p61N fMD+fI7mUxlFaXZBGyh/KeXZ2p+TSQFp71i9MjYCr3QrWkK7NUeGhJeKy1WTH68L 4skl3voFl1RwOp+YpXeXzFu7CbDZUncfhI/BJRagxfFszI8kfJ6cohgI/M8dKjIL pxR/Jj70BMob93/Qln1vds6k5ukas4wIjHOdkSOxYQ4EbzMHokbwLw6LMfHzIPUD b230Q7lLDdhgLhiYVL21eh11MjqhcvRZN33Db0Tju6Nf27kfO+c1lNkzeG6Y0DvN dJnYR90Rvv0Wa5bM5ehCVtylktZOGrAcq12E9qAYOabeDoTj/xrGIRIAaULNeiVc
    PKPx8eRlgSyb
    =bn4M
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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