Accepted ssreflect 1.10.0+dfsg-2 (source) into unstable
-----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-----