[ubuntu/groovy-proposed] ssreflect 1.10.0+dfsg-2build1 (Accepted)

[Gianfranco Costamagna]

ssreflect (1.10.0+dfsg-2build1) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 16 Sep 2020 07:59:55 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ssreflect/1.10.0+dfsg-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 16 Sep 2020 07:59:55 +0200
Source: ssreflect
Binary: libssreflect-coq
Architecture: source
Version: 1.10.0+dfsg-2build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libssreflect-coq - Mathematical Components library for Coq
Changes:
 ssreflect (1.10.0+dfsg-2build1) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1f145f2ba0c3172fb6730dc286ccee6943a97337 2153 ssreflect_1.10.0+dfsg-2build1.dsc
 89ff2dafbc14503fbc84515307707f7e7fabe977 12756 ssreflect_1.10.0+dfsg-2build1.debian.tar.xz
 3ef61d9f3fa79bc83ca0c546b88bf2b8c7b700b2 10673 ssreflect_1.10.0+dfsg-2build1_source.buildinfo
Checksums-Sha256:
 f2055770c4a109c7f1428ea17761a0aad0ad6eb0f0246018677de0010d33efa1 2153 ssreflect_1.10.0+dfsg-2build1.dsc
 abcf63759429df7048873a04bdc3efa2a302493fe8b9e73f5684331f67c1def5 12756 ssreflect_1.10.0+dfsg-2build1.debian.tar.xz
 f140ae9d2ce989d44bf7e403ea29620135d63bbb2d4dd05470bfc17d60d10938 10673 ssreflect_1.10.0+dfsg-2build1_source.buildinfo
Files:
 33eb61045ea6e47bedc4f6879a6ad716 2153 math optional ssreflect_1.10.0+dfsg-2build1.dsc
 559f6bc72f015cb13e89354f1667ff59 12756 math optional ssreflect_1.10.0+dfsg-2build1.debian.tar.xz
 6f74bf957f7e6c9b707de2ce615382c2 10673 math optional ssreflect_1.10.0+dfsg-2build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9hqdwACgkQ808JdE6f
Xdnjmw/9HQRO62j2m6u9TG8U3Af6jC/5R0DzTwewJjLOs4BduJz//pNd6cOfTKdg
ef3LFO+/YTBRzZCSyaOIxAIh318otrG70iAD6rT0Sk2+g+2gbxFmLPwAlVeLsRgJ
6sJ3U+tfOIAhFLudm+MDdkyYUOnwgtBio8R8oy/M0X7xj1WPdiqi90ANVGLBjzpG
ZGBI4pTU2Cu9NG0wYZoB15eAOkavCTnN/6uIqMW5dm2nhlU5EZtEMgg9EwD2zTM/
boykG5aTCMc4AIC6AcT7AKdYfC08r835GcnVZstqjcifzP/esIXlGWTS3HyF+fcK
KuXvlPeGl0f0UcgTsjekgQ9K3BKO6+tt3b8CVYcASrWdRqelyq4lCd0mqgjS5AGT
V1/RN2R0vGgkmlGJO7ooioOHUMEpiFRu7ny5arzaUEYdF8y0hTuyVrTe3IlOa2hf
a2rzKXFBalohnHY5cgDsgLTuHebBOovNdIh46ln573TjK9qL99KHtucIqXdOlLBQ
24xDuNRq/rpSm/iwkDyQR+mb04r4lFunCoux9x7ZHItOIdqogyijWD6khnNvEvXf
rQEun+5SWFOenKE/ZXQfEULwonq3UidVCEEsZAFQ+WXaItSELAjO+lE1VeBaM2sS
heeKc3HQyAl94EraC90lsQ5lcTOcjaBmzBbaIm1PDaYS1CukMvo=
=ZKCi
-----END PGP SIGNATURE-----