-----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-----
