• paramcoq_1.1.3+coq8.20-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Nov 20 11:10:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Wed, 20 Nov 2024 10:51:52 +0100
    Source: paramcoq
    Architecture: source
    Version: 1.1.3+coq8.20-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    paramcoq (1.1.3+coq8.20-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    54307477f79d4d7afc14ffa4b4bd8a2b37ddb937 2111 paramcoq_1.1.3+coq8.20-1.dsc
    7cb4a466dcac4087e23f0fa729eda1717e987df4 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
    8d629f3108508e3681ddb14ae5afca1367913e2b 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    5b1156d81f4b1b04b64d00acc85d785045262914 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo
    Checksums-Sha256:
    7d45365d28643773cc6219c2dd6d0fe8dfee43f72d1d06214c9bacc682045489 2111 paramcoq_1.1.3+coq8.20-1.dsc
    e785e5ec89f83d986c66f83f4d2d892c61741ff7c9264e98d4a8059a9bacf6e1 45816 paramcoq_1.1.3+coq8.20.orig.tar.gz
    1a3e01e25a34ee9a14ec55e779e4fd09ac57973c64bf10697c1d2d472a8497ce 3184 paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    cf877a3aef62731c0500b3af97a8410a53071384719c80743be4382f0efec14e 7152 paramcoq_1.1.3+coq8.20-1_source.buildinfo
    Files:
    837f10404047788be26ec4c1484b08ef 2111 ocaml optional paramcoq_1.1.3+coq8.20-1.dsc
    917fcdc199ded6847ed0425a92876c27 45816 ocaml optional paramcoq_1.1.3+coq8.20.orig.tar.gz
    ada72cf74b95c53b7ece4fe41e3a4e66 3184 ocaml optional paramcoq_1.1.3+coq8.20-1.debian.tar.xz
    8bbcf16605cd70eb23ba648a710510ba 7152 ocaml optional paramcoq_1.1.3+coq8.20-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sVUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSF8P/3p6ejrRlzzR0lb0R75jZ8RXzwe016WM 961qODRrBNe2Cvj4lutVd8Ghk9bzW60jFkQHDXRpFsDYwokk/RSbhNkelm9PGEJu PV+vAHo3xIqdZHyyRJGl+o+VM2xjCHzY/YJzMEgs9DO9PR/S+5tB6s6mhwMncEc+ n8DHH0viLIucRTzKL7Bm9pMJdALPPSDCEigyh4wn7twdRZSDvsP8R6iXqQD2rLDy wwzwL7DjN/hgxzR821u5GXPbxb71PbqCoya5SOSmbLnPuF6wK8RiKD2uEiY5pPRi 11iNGaSH9UK0jsZ8BICz53tY3hKDChwHA3iWZ53RgbuWDAUgDyA8N+4Jzun7iVk6 SEX9SljwwtU+PXboxyExu+DUdRF7Mhfq/+YIzlMYsRr7c14idRgT4nubQOeJpDDu zlMr4vRFu/6h6wpcBQ0WUFpj5zLr158XmPjfp9KBTDKlp41QaUFh0QRrXwfFBeG0 NZlBQWJiy2Pu5a8j2HYvGos/SvrhoytYDE8YiVrPoRDhUO/pNqGNReryaitAMmfT Fqa2rvYn+gEN50oH8fAn3r/R5y+QV3HcycAw8nWKy2MoHmGMZVbrQjLMT4gJ4bWB i1oMFiGDNU8bF0wlq0qLN6JIhCDyhaM6D6twHmI8bQNf6sqJrfmKbDcqTWy2N4ZV
    JxZ8QktaPZ2k
    =Kjox
    -----END PGP SIGNATURE-----


    --==============71327399883597021=Content-Type: application/pgp-signature

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz21GQAKCRCb9qggYcy5 IXRqAQDFft+EX8hP60el5QY7LgpM3QV7zalL6K/Yz8p6RDvGgwD/QcFwwslzSqFG K0D1tCZe8oTqUrlKCT29fpA/RDDLMAY=sL/s
    -----END PGP SIGNATURE-----

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