[ubuntu/xenial-proposed] ssreflect 1.5-3build2 (Accepted)

[Matthias Klose]

ssreflect (1.5-3build2) xenial; urgency=medium

  * Rebuild for new OCaml ABIs.

Date: Fri, 12 Feb 2016 12:05:33 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ssreflect/1.5-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 12:05:33 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.5-3build2
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 libssreflect-coq - small scale reflection library for Coq (theories)
 libssreflect-ocaml - small scale reflection extension for Coq (plugin)
 libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files)
Changes:
 ssreflect (1.5-3build2) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 86288ca840080093bb6d46360397cf65d61b7078 2259 ssreflect_1.5-3build2.dsc
 76f22d4ae6a6c5c42ba301eb3ff69caee639d58e 11624 ssreflect_1.5-3build2.debian.tar.xz
Checksums-Sha256:
 d7305448e3715dc7dcf5e35e7edb9538fe719a511192c9bfae71007a9a0357a6 2259 ssreflect_1.5-3build2.dsc
 fed35c69f4b17b482bfd3577ee6a6b37850838c3c05ef4d5607440f46608c188 11624 ssreflect_1.5-3build2.debian.tar.xz
Files:
 7f8a74c160de2a702b8a784cf77164ac 2259 math optional ssreflect_1.5-3build2.dsc
 624ef2e85f23545af2f833cb1116b92d 11624 math optional ssreflect_1.5-3build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWvcsXAAoJEL1+qmB3j6b1Vk4P/0d/86A3uHCH9oqz7FucO9WU
knctevot34XeinpUHI66W9BfBprcj933pajFAtPeoj8WHuvB7TbJzOZr4ha+e6HR
cCnKRD5f1dUsIZvkrL5duc4mt09U1ky8k5UUyMfSXMc004KrUGBdwYLrvphRLuds
fmiFr8ZY9K+hvW0wFT0o192iMm5ZRjKtxNcXe81AZ5ijCfU6mZMj/aqVY8KrghnL
nbV2WW0Tl22NphXYl9oY9k8HBJNa39DSkImwQodNbhu9ZBtsOyngLcxOd/KmHR0f
6nZ/hpR2rVBrZTkKk6SNCbcZUD6syl6ZOw8Z0/jnUPQPW2A81029HDgyJ2HSVLRJ
sL7Kna8Vs2LI7MrohMAwOYtb9vOmBp3Wijy9Tf25R/wIBEMIlsBXVw+FJMXukEqs
2XGn2yJPoEhiRBL9RuQ+V8bNC5cNkC+YZ71IFuHq+UBUmp8f2pFskoMj2k3VJ+uh
B64gyE9DIUl/P110NXuogq3mTaGcBTF07nkZ21nrPCIn7WqH7T06iYbHd6xYVdkH
p9CjHy9YeBS/SI/P8gls8HIkpharXL8yHKkmR7GLE5Ndg/knIWmEoSWWYUq6u4Kq
ERnfqN7NbEx20sf/1StyB3TqCvuhzc4v2APHyAeAyi/jiXwHwP/HQY3+aMaeHTS6
s0X3hbIleh3Ri1xuQDia
=bkim
-----END PGP SIGNATURE-----