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

  • coq-reduction-effects_0.1.4-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Aug 13 08:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 13 Aug 2022 06:57:30 +0200
    Source: coq-reduction-effects
    Architecture: source
    Version: 0.1.4-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-reduction-effects (0.1.4-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    e41581b70d7acf9d3de228487dd070040485f887 2199 coq-reduction-effects_0.1.4-1.dsc
    b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
    cacabcb1832e47f1bcafa90f32c77c6b357f8c9c 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
    71b6ad71b030f51e772e0f8878ce22d8aa32b24e 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
    Checksums-Sha256:
    6213073f24ff5249d12f0eaeba7a82b46cdc9b41c1a59e14774268b4ddeb7383 2199 coq-reduction-effects_0.1.4-1.dsc
    dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
    10edeb107ee0dfb25305886150b25adf1ca8d26661bbc71cd33c031c57ba1fb2 1472 coq-reduction-effects_0.1.4-1.debian.tar.xz
    7639806bd7253c9f71afd52d3d77c65f1b1b24e609fe6edf701748a4773fcd91 7012 coq-reduction-effects_0.1.4-1_source.buildinfo
    Files:
    b32400aed6df1b57eb027c4c964cb575 2199 ocaml optional coq-reduction-effects_0.1.4-1.dsc
    1f6c0770a41952367eca4c137ea1783e 10292 ocaml optional coq-reduction-effects_0.1.4.orig.tar.gz
    8b7493c154ecdc9ff20e10d6bdb631e7 1472 ocaml optional coq-reduction-effects_0.1.4-1.debian.tar.xz
    d4576fe5c67815b35066dc0e8896827d 7012 ocaml optional coq-reduction-effects_0.1.4-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL3L1kSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRldYP/2908U5NO/drUeg2BiIVKp3QeafmPd54 DuYSCyBp6iFNzO614Yyefczxzy72RlcvdqqVtmvBR+9Eit5ls+sbAQcHLtbTpXfE Luu9P6zJd51wRvzIEZrxeSuoJUj8MOrPPytsQfoqcPjvRdw7OXTsAw+hGhUCowxl dzylGQUXs45ks0JF8BmYpaPExG2FOP9g/EyVnETl1oPWCSBaNN4+eeScL0oZdNeP CRAu9b7rB8/fEVyA4CgRZl4Qdt7RnaVxesnOa1fHr/82z4rnlKgDgIi77szUV0Xa I4yy6NAAqaS1Qa5y0rqOOJLJ5ApJ6NfeG5DL8uGQAqCdpkQWxzT81bns9R1spjea Kef2O+hBBB3hgOl9jushdpvXWfdun8O51brioHKYi8/wtVwk8ur1U2oXxE8ZDp14 knDT7nOPf/fyO5dRmNRP50PLbiJXN6fDUrErwxWbTTu1SgDbj6NPpkyukZAhauX+ iUj0v+edX8yyZlVkt+vm6YUu+MACll+ZViea0TdWmJgRy6OGOxEoZ0yyyL+gspUC SqF15mhjA9OZv0yd+suFEpeCnA7reJ+X5mWXm3L+EFcKcHgRLb5POMjCY+OcwjHR txgR2lIdz/KCmCQhsGUo6wReaTUQP662jcB1HYkPBXFGagk+eeuo7uWapw1RAx8j
    09Lri6UFCZwu
    =uHz7
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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