[ubuntu/focal-proposed] ssreflect 1.10.0+dfsg-1build1 (Accepted)

[Gianfranco Costamagna]

ssreflect (1.10.0+dfsg-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 25 Feb 2020 08:35:48 +0100
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-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 25 Feb 2020 08:35:48 +0100
Source: ssreflect
Binary: libssreflect-coq
Architecture: source
Version: 1.10.0+dfsg-1build1
Distribution: focal
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-1build1) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d07dbaba824f321806de0da8f1ba539c7d315701 2153 ssreflect_1.10.0+dfsg-1build1.dsc
 472d383a524aee81cbfa278d479391107d63df17 12736 ssreflect_1.10.0+dfsg-1build1.debian.tar.xz
 9399194e29247f97912f217e82aa1765c55795bf 10443 ssreflect_1.10.0+dfsg-1build1_source.buildinfo
Checksums-Sha256:
 fe68313dc0351ad2ea417a67c46e81827ff6833309547449775bfa658187ac13 2153 ssreflect_1.10.0+dfsg-1build1.dsc
 4e1dfbbdc7dd985e5d11d6009fe2b593550b423cf3b4bac0a95e10770b069e9f 12736 ssreflect_1.10.0+dfsg-1build1.debian.tar.xz
 1d50311069454fb4b23b7bafd8b763972974e9faa569fda162102ea04ddccd0f 10443 ssreflect_1.10.0+dfsg-1build1_source.buildinfo
Files:
 e6542ae062170081cfe0f685796312c1 2153 math optional ssreflect_1.10.0+dfsg-1build1.dsc
 5fde87b80be81c55e9745efd5a0e309b 12736 math optional ssreflect_1.10.0+dfsg-1build1.debian.tar.xz
 6e1873108cd03c0729e27b5a15d38b64 10443 math optional ssreflect_1.10.0+dfsg-1build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5UzlYACgkQ808JdE6f
XdlPyxAAgHuuVZ15chUeYreVzEEf4lEorFqDu5ygD8JUXPd6sYq3QXR9ul2HelQi
6HdhAL79kUY+YbgV3ptDexnNdwX3BWUKv0YYUj+UqAZ6j/iN759HxaVvoC2wPksf
kKvrdXGf2iGdbwE0Q2B6QAfDtLaje8JV7TM4jvHjlxCxi1TaFG7RVWCu6S+UHI35
a/vyVPTp534bEtJRWs8s4sTwqBDEmvLl9rye3ilwC4ghtcLTd1ahnDxyOC2PiWkv
nF27Pvi+OQuWUQC0tpy9SqYMCFdlXxtvC6D7YoOqzzCpCuubzKninBku2PymcbyA
8yGodo6ndDj0qCyNneGk6S5Wm7vE9LIHkmW7ZGYiXt28ikAuboO6HSKg0H+Ge54X
cKxAJb8OxRjhsNbItb9i1SGEceFSP8Ymkvrp6/eVH/17PFRtJkBsZxITgbio4/3B
C8e7B2qpD0R/G+K4sX/HdBl8ofLarkSOOj/YRWMlkVthpm6snRyaBKpAXAuNJQKI
VQ6he7/dMHgGrc1BWsVXA5/qLj2C0R8cGe2rJS8hh4j6H5FFuOKPm6TMj4P0a70r
CUr5RQQ1vWesvDKXJZEdp8OWRM5EaXtGX05ZX5opyWwCvyGpSUnE9xc9FtN9eEc/
LgdSwHQTqnP3hSxwNoVR962DRhTIa1AiVEHOtCHctK/4EDHleis=
=0fcj
-----END PGP SIGNATURE-----