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

  • coqeal_1.1.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 13 17:00:02 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 13 Sep 2022 16:13:40 +0200
    Source: coqeal
    Architecture: source
    Version: 1.1.1-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coqeal (1.1.1-2) unstable; urgency=medium
    .
    * Fix dh-coq issue.
    Checksums-Sha1:
    84986ec108317a144eb2ba11dc11c999e1eea8f5 2153 coqeal_1.1.1-2.dsc
    460a27738ff3201166064c9c01a2b1c69a5382f0 2104 coqeal_1.1.1-2.debian.tar.xz
    989453e1824c568f14ae5f65a8e3a4a7fb0d6d70 7376 coqeal_1.1.1-2_source.buildinfo Checksums-Sha256:
    ac9df5061874f03ca46fbd0a34081aa2eec5a15dada2ef55ed538a3314689a31 2153 coqeal_1.1.1-2.dsc
    f713fe8bdc72b7a89439a02c92828f7d7cd672f3547b52abed1e85e8cd91918f 2104 coqeal_1.1.1-2.debian.tar.xz
    822b3a73a9f8b3168735c77a599d0c7d5ae1479a99e64e25fedd0f23d5cd68ed 7376 coqeal_1.1.1-2_source.buildinfo
    Files:
    8d2229fb51b48caacec6b8c13994e9df 2153 ocaml optional coqeal_1.1.1-2.dsc
    b42b21b40f4a7fc0d5c930112da23b2f 2104 ocaml optional coqeal_1.1.1-2.debian.tar.xz
    bd121d474544e96afa323ecd86fcf1c4 7376 ocaml optional coqeal_1.1.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgkD8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRnH4P/iKzRNGQcbgivav66APRvC8Wj6PSWQqs rWEOz2oecfPWpem27iOSWqd56PpohXQkqKX/F/2lX1ZGr6hb1kiKRGMZkEgmQGkF bxAFgcBdXX/Lu4hRn9db/KvIKt6x+OuOUF08cxo/LIZj3+DUHRhf2e9e6tabClas UxbcOKICIIlLOGw5dzG0VUDrtUev5R9BXmzSPZ0OlzJjewbLGIl5PHydcM1zkP7t QLeaYcFBDT4sFC0Ug8qDOTxsulnzMqbU1SFcABZ4OCsZuu50qkhKBzp1VYRK0ASM cEjm2BVMco2buWkUUSrDcZiXCadg/fDXgVxUtCJYUud3XZsl0L+Qirkt3TTJHmrS js22OR9fs+NL2wvLcrRZ18NxR0xsZKYLH9dAV5DkMatt53bUoa0E2SILcGiiNvt4 XhyFiw11Nh0EroAAdTrr2JbCAvNnNe9F9GbbZlsJY9L1PxNROXiiJF8ouAC2YMVP N6j+SmItqDOlqIIpJG2V1DaOGT4C1qgzbXNDZK8azTMJY9h1/C+sw7adBSf4x3JC WY5XiE8YZXstnbaIAssaMjQ72/UkuyRadQSrGrYgBrTGnV+ontZr4JeDzF9rVVyL rR5muJB0e0tCNMLIAD1bqOf5nlt7eoqBQ8vILYaVYt9DD4pTZE7rJ/w2RPXuiXST
    MHH+XSy8gom6
    =/2TP
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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