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

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

    From Debian FTP Masters@21:1/5 to All on Tue Jun 13 00:40:01 2023
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Mon, 12 Jun 2023 19:36:08 +0200
    Source: paramcoq
    Architecture: source
    Version: 1.1.3+coq8.17-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.17-1) unstable; urgency=medium
    .
    * New upstream release.
    * Bump standards-version to 4.6.2.
    * Add lintian overrides for false positives.
    * Bump Coq version depend.
    Checksums-Sha1:
    5b3fb96bed6e4ea73c5ff1f8b8758d70c7bf1166 2121 paramcoq_1.1.3+coq8.17-1.dsc
    56b9c93d5909dd09e54a62fcaf00c10b558ad93a 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
    4cb5cd709177fbd13f9045f9a16829b7e9a580ad 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
    15b10b9851500186bb21dc965ebfe1c9658acd3e 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
    Checksums-Sha256:
    51444d61fa7bf2e5b3f4e548aa6809f795b191bbe5d0ea7f13ab6ebeb4299128 2121 paramcoq_1.1.3+coq8.17-1.dsc
    82c595e6b8bb2c2e7e5919baab4be4c8f84c1f7effcb6117a94127c435252441 45683 paramcoq_1.1.3+coq8.17.orig.tar.gz
    338b45a998e15cda1e19b3a095a545cfd1f27af308c2b2998f2f1dbc5a685a08 3024 paramcoq_1.1.3+coq8.17-1.debian.tar.xz
    3f92c9c94c231e10525752d28aac247b555c79ad8bf67d6f2986adb22b4973bb 7359 paramcoq_1.1.3+coq8.17-1_source.buildinfo
    Files:
    0e7de63f5ced6003ebcc935171a03943 2121 ocaml optional paramcoq_1.1.3+coq8.17-1.dsc
    62df81c43c91f090885b435672897f74 45683 ocaml optional paramcoq_1.1.3+coq8.17.orig.tar.gz
    0e015106d0641800f9ead4fc32fa5434 3024 ocaml optional paramcoq_1.1.3+coq8.17-1.debian.tar.xz
    1a37752c96a1edca6176db955d48d07e 7359 ocaml optional paramcoq_1.1.3+coq8.17-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHV48SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRwEsP/3MOZAmF8SIyGr0xP9IS8HQBXOq2ojn9 r83z19PhZwAwHaiwmX8RdqkKRFySsulANDfRlFpb/UXYA7g6OcCN00hifOEzeCSi eOj/nOnmbKF1L1wQhxjsMU63zZlsZaYqsyX1uoIg0XO2AGdFz6cqa0BUIFT1IDuc 7qaJz8BD996OQMfytnVhUq0xu03fWllebO0SC6ln8VJFJziPgpzNGrQDAw2JfXBn fcjz9WMMKBDxRgAvhJxBADTz8aQ5vkK1Xsj21ztydqJ5/TRXCS6bGJSXBjmkosfG V7v+ldo3gIr/A+ZtpL9Y5dZUQpiT43BtKjlVCpRym2q7CqG1nH+9IGrbcim21tCJ q0ZRIjU0w3d3q+pjw+sG7pEdJbfxTTowILR4t+iZkWtXm0XqA7X3v6CIr3k7YM/8 za8IoAf/WYSYoFvjrgwDQO46WsTvkRp/v79VE3R1wFDV2CAakdUxyBl3CXmRK63h lstExfaAhsBEwSJr0ip7lNyKhA/2ryAuFQvPgKsKpW87UebMeO1tk57Is5ZFxMQr UlK/XdNE+YdkRmjRgZF+DYQdMFjtknWu/C4z+4dndFSyXzAshX3KANdT7G0X83Vi GIVWcniUabGiRSnI/COpE1aQHfQeNIR9IhKQNAqygxWQ+3Xn0LChOKla/dbFs4Ma
    X5/4kItiTzxg
    =FNCD
    -----END PGP SIGNATURE-----

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