Accepted ssreflect 1.14.0-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 06 Feb 2022 08:55:54 +0100
Source: ssreflect
Architecture: source
Version: 1.14.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
ssreflect (1.14.0-3) unstable; urgency=medium
.
* Depend on the coq library under its new name.
Checksums-Sha1:
2ce55aafec05c040e73612c7189e17fd5113ab26 2112 ssreflect_1.14.0-3.dsc
860eab0de13f7db56027f70f34fb258af904b75b 12236 ssreflect_1.14.0-3.debian.tar.xz
474fa6f2d5747ad15e9a1072c43aba2be4eece09 7355 ssreflect_1.14.0-3_source.buildinfo
Checksums-Sha256:
786da6c80485c896971c99433e2326707fc9a5ff74d71d7c36a83bbee8ab73ff 2112 ssreflect_1.14.0-3.dsc
fa6d25c78ba794f708dd8bbe2b3c8f65b28aff5e8f01e6160b89b46676b34710 12236 ssreflect_1.14.0-3.debian.tar.xz
daff55dbb9f698d4bb927c66a15215a286c70f9fd1c5659f350ed1c5ec328384 7355 ssreflect_1.14.0-3_source.buildinfo
Files:
1d3c8feacbf2f50e24fc00b3b3b82420 2112 math optional ssreflect_1.14.0-3.dsc
3b5fca831bf324722522bb8aff429c6b 12236 math optional ssreflect_1.14.0-3.debian.tar.xz
4d521162e399dc98219589c44ed73a23 7355 math optional ssreflect_1.14.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/iIcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRu5cP/iYC1q0mPCkvmo2+940j34DgMHj1UwhK
+rH6JGDZigV0JUQvL3FlLd4sdqjMD9k5q5vRW5ZNj+dG1mwGAaXnf+atvIB75Ece
24KFAFy3vvFCWTMsNroQpupXl8NTgYhQf2kUGY+stYqkSUGb8bFCnzbF+e5jO1Lc
HlP+OV2+DtHj4PhWRfa/jr/OisKaWUnM2dDrAG23ZInNp9lNleTCJKr940yNDdO7
saihvfazcJg5J+WLdd/H7ibYnKyfZ1+vTuiWoBr8lzhVAAy3GwO4kds/OCO2bm8m
6l4R634tH2I54HVTUa2+NAvUPDwqo5nu1bm2W/l35dqIMnQrSecRqtr+QF1HriD1
SAMCfFWjaE9LPyhiaznrXzMsPjbmwXJXe6Fl6ErxUK/UHKtq9dXPLN4vueYfK/Uj
CT5mxnaTR1LpIMwcvJD3LUhhHltSeSc7/jUQy00WHVzcoNL8I47Tt253JvYoNN/R
AJ/khKDg13gkwWAHkjhhU6aPDEAjS+av4yBcYVKmzstkAuqb0BqXtlh2u+kfx6+U
sQdlsHNYwo496FqJA2cHIcrc2g0HkyiLM2cKo6tmcrZkcC1QxrkTACHbyg7HCiNL
n3liES2CJ8eHZDAqTDLqFEpfQ5TxsVVxp4C7iBlTGF/qStGcbrsyyglffbtFcm3Z
/YLxWR0bNL+T
=yR47
-----END PGP SIGNATURE-----