[ubuntu/groovy-proposed] ssreflect 1.10.0+dfsg-2build1 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Wed Sep 16 06:00:13 UTC 2020
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-----
More information about the Groovy-changes
mailing list