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

[Łukasz 'sil2100' Zemczak]

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

  * No-change rebuild against ocaml 4.02.

Date: Wed, 04 Nov 2015 21:47:11 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ssreflect/1.5-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 04 Nov 2015 21:47:11 -0600
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.5-3build1
Distribution: xenial
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.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-3build1) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 30b557fa56b8c252d21b5bc23c0da73139e86628 1911 ssreflect_1.5-3build1.dsc
 6149aca094dfe4bcb26100c96b84c58b7204c309 11592 ssreflect_1.5-3build1.debian.tar.xz
Checksums-Sha256:
 65449422a15af57a2c736a515795cecedce37177136f647f48cad6a51a8a7e26 1911 ssreflect_1.5-3build1.dsc
 6652eae4038ad15572ad82b5ae15646f3f40faf477e92f0ffecbecb8d510bd85 11592 ssreflect_1.5-3build1.debian.tar.xz
Files:
 e3364369e5091ebf77ad68dd3777e55f 1911 math optional ssreflect_1.5-3build1.dsc
 41e6c7b5a6e556193fb65423d4994d79 11592 math optional ssreflect_1.5-3build1.debian.tar.xz

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

iQEcBAEBAgAGBQJWOtFCAAoJEAIZyhnQNDMM2G0H/1cJ6d/+55YX2jMsZke7Voby
ULT2qFKcx22xt2c3N+M9U7x2lAbvV0wo2XSMyzan8bZSqS/H/g0/wf5ymlLo12Ti
R+736n1ci0h0SnCWtetKEGSvWJWngpc81Dq6pMxd66Jwc268KNnZbr4PDpRKW7Gl
CZqGjPYGpNoE0pJYqX+vr+b0D092g3jwou3rzXZC6iTL1u41R2mWRYiXKSKEXPWM
wBZQIUCy/RpnV3OfpJa6ZG1fo+eB4xOK629gEbEygPtDAtlglliwZW0ZaQqlikAm
OXrK+SerEXA2C/i6yl0HMPBOxjQ7E/SD/gv8w4t/4gBS2CH3O2I9fJh41s20x80=
=tNHy
-----END PGP SIGNATURE-----