• ssreflect_1.13.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Nov 22 21:10:02 2021
    Accepted:

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

    Format: 1.8
    Date: Mon, 22 Nov 2021 17:25:47 +0100
    Source: ssreflect
    Architecture: source
    Version: 1.13.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 995558
    Changes:
    ssreflect (1.13.0-1) unstable; urgency=medium
    .
    * Remove E.Tassi from uploaders (Closes: #995558).
    * Add myself as uploader.
    * New upstream release.
    * Bump standards-version to 4.6.0.
    * Update d/copyright to upstream (dropped javascript files).
    * Bump d/watch to version 4.
    * Complete the libssreflect-coq lintian overrides.
    Checksums-Sha1:
    089eb76a8a95ab567e9f620f44c204d22965e899 2111 ssreflect_1.13.0-1.dsc
    0281256e47f5e2a2fde4f0355afc5e053863149f 1352255 ssreflect_1.13.0.orig.tar.gz
    2e82df146aebf845e7a1f1cdf57e0c9d7b09151e 12092 ssreflect_1.13.0-1.debian.tar.xz
    886996c35b41b0d9e910c60e25b5ec1484502c5b 7238 ssreflect_1.13.0-1_source.buildinfo
    Checksums-Sha256:
    456e6a40848aa4dd611d867ca16c998892f02c2d4d8e7491c36fb7f7d21debc6 2111 ssreflect_1.13.0-1.dsc
    4334e915736f96032e1d4d502e70537047220af1a1c7a6740f770e45601bdab0 1352255 ssreflect_1.13.0.orig.tar.gz
    4be4e49f10bcd2492d03954713e440ab7684c4a112af0352e47a3d513ccf4229 12092 ssreflect_1.13.0-1.debian.tar.xz
    0ac1187c52c8ae39cd7ae360390351d99453ed066911a027829121a02182e853 7238 ssreflect_1.13.0-1_source.buildinfo
    Files:
    4d806d4df43f1a21d8a3cd05e7f25d89 2111 math optional ssreflect_1.13.0-1.dsc
    46375048f75921d1e2326b3a24ae38c7 1352255 math optional ssreflect_1.13.0.orig.tar.gz
    1808655509026a2bfbd41ddd4ff89497 12092 math optional ssreflect_1.13.0-1.debian.tar.xz
    ee847d3c492ed9393268381907bf2ebc 7238 math optional ssreflect_1.13.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGbxLgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhmEQAKUAxJvms42GWnI4CuoQ5SMEVoJrSGxC LAXYoHEWQtqOPq9Io43Ah+b0f40hBZ36LO8f7L4SIJeWKpvLhksoTCFA1XGXwSgM D29v1oQ930LP51YayUGCUoHCzALiZ/z+SM+r9ygF99RLJRq9HSs5On8GcyP/Z5hz O0VsMRq6M0FPsgIlONRtaXlAzq6xuh1wZp9WawIJ/3k04U+9BXLfPOFqUb+vrPcr D0on/h8IUUklhLBGx3gYhKlhqp/ucXLBG8o8FVOW5GhyLKskritUEA4U+AF8qUZP OMqwpW1iok+wLSgnxvwRwKxoOt72Ue9qUX2GfCbrwMPDDTd4aVfF1G8nSo7mYXy3 5/gL7oCKDazn9KO0UM+2kCWb6z7lYdLVrFr/oc0ZNkNblEVC4sj6+IZSa8wndPyS TOGqBFKDeFGkgWGVC4tIaLyzeuPaV16PrmTGVbp4mV+dwAplwVFP8bH9n6NKJcQw xxZUlvMrmb/g0o2SQ5YOkDCgund2HyxchiA65z1LlbnmULS9of64J7kvEYMrJiJr 7cHQSAWqG+SjMPfGkmhwJI/GJTArDOE2IpxPzZbWesmj88VvKzhqsQZtj9jAXJh+ MKSmjLalcDWWtN4/yODoF0yC8fsVe77gtkvq4nJHI62dnHfUmdciuolj1dLzYOfJ
    wD8+5p7TqUjX
    =zjhP
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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