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