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

  • coq-reduction-effects_0.1.3-2_amd64.changes ACCEPTED into unstable, uns

    From Debian FTP Masters@21:1/5 to All on Wed Jul 20 20:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Tue, 19 Jul 2022 08:55:53 +0200
    Source: coq-reduction-effects
    Binary: libcoq-reduction-effects libcoq-reduction-effects-dbgsym
    Architecture: source amd64
    Version: 0.1.3-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-reduction-effects - reduction effects for Coq
    Changes:
    coq-reduction-effects (0.1.3-2) unstable; urgency=medium
    .
    * Complete d/copyright.
    Checksums-Sha1:
    8a24725624246e9bb6b1fe8cb5b947966aace73b 2199 coq-reduction-effects_0.1.3-2.dsc
    0b3b5a4f8186e5827b161d05d79c632f5505d0c9 10085 coq-reduction-effects_0.1.3.orig.tar.gz
    553f0a1da1b88d17c69db770515197a9c3635875 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
    43733dadbb5b133b4ffb7a7727e843f36c22fbb5 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
    06386587b9f7a1dccecdad5b0b8ede699f4ecd8f 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
    d1bc2c703ce193744821c563df28ce95f1348544 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
    Checksums-Sha256:
    b574236b425f1913b0d22dc1a30009255f914f2acb60e444037da48d8a06a12b 2199 coq-reduction-effects_0.1.3-2.dsc
    6eb953addeb5b70d608b62f1bb8e9b20ac67352cbf5a347fa8493b04070ffebe 10085 coq-reduction-effects_0.1.3.orig.tar.gz
    30df938c53d2d1de50ae893ac016a790c610717e4962378990828b50249931e0 1444 coq-reduction-effects_0.1.3-2.debian.tar.xz
    9ae4bb43302b533eee069a29d9720fda25e76fad8d13ee2d5fc6b0693cee1a67 7540 coq-reduction-effects_0.1.3-2_amd64.buildinfo
    8b7637bc334e28410cc099594b3b63c6848eb9ee2f8d397ba088e9aec7ae92d5 2828 libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
    bdaf55e48eda1394896de4f54b99da3518bad1cde0faa965b10c113acc76c825 13784 libcoq-reduction-effects_0.1.3-2_amd64.deb
    Files:
    fd7ffbd51e912c6909aab8cbc35089db 2199 ocaml optional coq-reduction-effects_0.1.3-2.dsc
    d35d53ce952676472249feba84ac5c53 10085 ocaml optional coq-reduction-effects_0.1.3.orig.tar.gz
    268eb8cbb39894e4a87a0576673024c6 1444 ocaml optional coq-reduction-effects_0.1.3-2.debian.tar.xz
    9210ac0ce73095ad02efb760a4e26ca1 7540 ocaml optional coq-reduction-effects_0.1.3-2_amd64.buildinfo
    6c85d32883d1bce2e6c08c6931dca630 2828 debug optional libcoq-reduction-effects-dbgsym_0.1.3-2_amd64.deb
    328bf3cb518f89b056fbf4db4bf8f1cc 13784 ocaml optional libcoq-reduction-effects_0.1.3-2_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLWVckSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR31gQAJMrBE0hXbY30Yu7SVG3KzHe6TshdVM4 V0NfoaoeN7v9V/bVVi/LEttpCL8tzoObFkJFAfT8+fqTCrUsaGUWPQdFELBLSxF9 c20mZ+34tEn/A3vN6NmFfzpINePmNLxpWgBGTNqbmWVUYY1aKOMvwC17XjASMXd8 GmqZy7grHsrKOgUaWFLLDKnOjSfnXSKWQBoDWbKHjcvYa/Bj3HOfDyxIOMdTyx8P w8oQJRu51STg2uLqwO2R9l3Y/MqI7LI7t3gJS6dY3jsPMhxABwCu/K752xsZhc4S w0PDd2OVRtRBbnon3QbD9ZVEDE5rEQBIn8VvHLTZlLm07RN2B0pvPJ7dnYutj75o xb263lbgLTG7mFYMUMYX7gfQaH1+/Z/oiScpMh63ITqqSIKeHy2QCYJh+EODK2Ph /XGLSprFr9R6+TjLPFbOIdae/uLZRrfpeRtJI027QfhRAFAcG8tcggQPgimFKgy6 O4BDIXSMmJ8HNQYTIs6U6qP0yrD0DtUoQGBOf1yIr2u50XDwTlHNJIWyr2qqSZDe 39kopiWIyJvR3U3jlZ2FfCtVtgcuzlnWvyMiPAayIozfGJrsuvnsseFjKOerJFam PiDom9b5HPxZ0seEMjkunYtU1SoHp3BXgtVj3v+UE4vPzyToWNA12Zr1tRKW2pdX
    pYOosCK3/kyP
    =PI4z
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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