-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 06 Mar 2020 21:43:51 +0100 Source: ssreflect Architecture: source Version: 1.10.0+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Changes: ssreflect (1.10.0+dfsg-2) unstable; urgency=medium . * Rebuild against coq 8.11.0 * Standards-version 4.5.0 (no change) Checksums-Sha1: 04dacf63992ec29d99f4175bd09bbbabc0971ee0 2129 ssreflect_1.10.0+dfsg-2.dsc 4ac8b2c31de2607a80c96e9d14a7af847e4c462e 12676 ssreflect_1.10.0+dfsg-2.debian.tar.xz 30ec7e5cf2acc80458aa7b87662e1259f4b034ac 9982 ssreflect_1.10.0+dfsg-2_source.buildinfo Checksums-Sha256: 8410790842730dd034a5c1714a7b985066400461d7b2150e37115c66204133f5 2129 ssreflect_1.10.0+dfsg-2.dsc f96772c7a4f6fdc439baecee8c59e175b4c418482fac1e86c23759ac13168c15 12676 ssreflect_1.10.0+dfsg-2.debian.tar.xz 4edacb1c427bc5aa9d1b78430153561c590c4c222812bb3322f6c2dbb2936b53 9982 ssreflect_1.10.0+dfsg-2_source.buildinfo Files: c7c65a0628367fdbc44b71971eaa7562 2129 math optional ssreflect_1.10.0+dfsg-2.dsc e649edd3912c66bccf58172c84f7fa37 12676 math optional ssreflect_1.10.0+dfsg-2.debian.tar.xz c301e751365bd9d671483b691ff67cd7 9982 math optional ssreflect_1.10.0+dfsg-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5iwFcACgkQdFxHZtTK zf89wA/+Ngq9B1H74DKiO6zZKNS+s2NojQIWeKG8jcbj3bsbwHLnpRdAuO7c4tgJ hWlMr2rZTrYJj49ws8fzzRlrQOYk/p80qAvgae+1uBrme90IcbaGunES518/mlaw Uv4BspHFtfJ1RTDRXLuO8tzP2nz972b2XW6sa/UHwVun4o2nMpxS0gxOFMexHBxc BwsthhDMqBdDLRqPWjw+svn15hC7SspSkrnmWU/LG671NNdeyDG7aPVPlqjCwbYr Gg4tQyor7kh+4QPK6n4pLyMB/YvMD1lF/7j3rj+PHqeYdzV2z0NEo2Ud9aCRGzgC DOZj1GG6D85/B1Rwxdo3iqLGaBS6Fdz1/UEjDzA9FmV2MlUlB35KoV3OjdQ1OkZR nZXCiSk2iZVt2TI0WBFtDzQ4XH7a7uSZiD03+4iKLjd9ZeN7BXL/hn28zoOQWT5q Q10qhvXwmvQELcGFUHpX3/XNbYfDCnQcB9poIimQCcKe96+gD1iEwIqpTIqZRqXW 3ctUVNBv4IhN2TM3N6qgHp08QV5FSkqsgiER0ShgR82zBmS2qXlS5QhLVuqCF8ag ePWpkJg4ASmKIwYmOsJpj+0fup/oL7N0Px/VhkjkEUIbeKd9sqHIwUTuL5QLrc/s /kR2MKmEx+MCi07+hl0CTwB3Sv0eMQyxdP0SDXhCfwQJ5kgB1Vg= =N5b+ -----END PGP SIGNATURE-----
