Accepted ssreflect 1.13.0-1 (source) into unstable
-----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-----