Your message dated Mon, 22 Nov 2021 19:49:41 +0000 with message-id <E1mpFJt-0007V0-HO@fasolo.debian.org> and subject line Bug#995558: fixed in ssreflect 1.13.0-1 has caused the Debian Bug report #995558, regarding Updating the ssreflect Uploaders list to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 995558: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=995558 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: Updating the ssreflect Uploaders list
- From: Mattia Rizzolo <mattia@debian.org>
- Date: Sat, 2 Oct 2021 11:39:43 +0200
- Message-id: <YVgo3+W7QRxw86ha@mapreri.org>
Source: ssreflect Version: 1.12.0-1 Severity: minor User: mia@qa.debian.org Usertags: mia-teammaint Enrico Tassi <gareuselesinge@debian.org> has retired, so can't work on the ssreflect package anymore (at least with this address). We are tracking their status in the MIA team and would like to ask you to remove them from the Uploaders list of the package so we can close that part of the file. (If the person is listed as Maintainer, what we are asking is to please step in as a new maintainer.) Thanks. -- regards, Mattia Rizzolo GPG Key: 66AE 2B4A FCCF 3F52 DA18 4D18 4B04 3FCD B944 4540 .''`. More about me: https://mapreri.org : :' : Launchpad user: https://launchpad.net/~mapreri `. `'` Debian QA page: https://qa.debian.org/developer.php?login=mattia `-Attachment: signature.asc
Description: PGP signature
--- End Message ---
--- Begin Message ---
- To: 995558-close@bugs.debian.org
- Subject: Bug#995558: fixed in ssreflect 1.13.0-1
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 22 Nov 2021 19:49:41 +0000
- Message-id: <E1mpFJt-0007V0-HO@fasolo.debian.org>
- Reply-to: Julien Puydt <jpuydt@debian.org>
Source: ssreflect Source-Version: 1.13.0-1 Done: Julien Puydt <jpuydt@debian.org> We believe that the bug you reported is fixed in the latest version of ssreflect, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 995558@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (supplier of updated ssreflect package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmaster@ftp-master.debian.org) -----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-----
--- End Message ---