[ubuntu/yakkety-proposed] ssreflect 1.5-3build3 (Accepted)

[Matthias Klose]

ssreflect (1.5-3build3) yakkety; urgency=medium

  * No-change rebuild for new OCaml ABIs.

Date: Fri, 06 May 2016 18:48:18 +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-3build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 06 May 2016 18:48:18 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.5-3build3
Distribution: yakkety
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-3build3) yakkety; urgency=medium
 .
   * No-change rebuild for new OCaml ABIs.
Checksums-Sha1:
 56ca95fcb6cb918a3723b05f05eced2eadf9d2e6 2259 ssreflect_1.5-3build3.dsc
 0b14d43063a30f0e8aa34c5f9fb54735ce9a8ec3 11648 ssreflect_1.5-3build3.debian.tar.xz
Checksums-Sha256:
 f0a9d68248c7938c634afba972d8008a7fe83eef75d9a5ea95185d9e791e6aa6 2259 ssreflect_1.5-3build3.dsc
 124b39cfe23725437c28bc8d47512be81d6ac1622c74fa892c030f8c66be05fc 11648 ssreflect_1.5-3build3.debian.tar.xz
Files:
 5709283127f5a13a975d8d99fcade6b6 2259 math optional ssreflect_1.5-3build3.dsc
 2790f80eae04a0b5a34e9ee72fa7a990 11648 math optional ssreflect_1.5-3build3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXLOcGAAoJEL1+qmB3j6b13mUP/1WlS5k8GrF79ALErQE7mk6m
isWV1OEAir7FNEpwPRqmc0y5Z1VyIGNgbn9/leXGvD5My2PMGaQprWklZb/75FlO
WGjdm8oCb8LR7PI0A5quxXUCfy7ZCjcEo3FQEoluoV3k8DMAYqze2AHTyye0Tvy2
QRzykHvC2v70iA5lA3meod7UEI59VEA8XCs5+7XJ/L1B+zg4EreN6dcsgB3ORVRW
hAZDeTkPuieREfwT/LSm5xgZsShFEvSSjTmzo9P2BWxPgO4S5SYkJuE90OUxCxnG
kjrW0P9vUKkAM3rXGrHnemr+f9AIwj1CeH0ch1qq9cmzFFm20jhkKAnuLoUJhSvp
cKJzzgfLeUst+bdPCM8+gGSOgy2UqXsXPfTkDaNfnDnUdYZKMp+EU7nd/NotntVw
WD1vupVEENd1+dJ0yTFRKKr5w0M52w++7VJszh6isY/hH4yRghMSvgzc+oyniBAL
svAcOLwtVTmIpyNiZx7qgkoPMsz/ppF+NnjdHNRkwzQXlHjDMWkHq/dnvKULY7LN
gJC1i1AAzhCYpLTgjkHnahstw4QbrA44ARnTIWpjsPiMz2xEKj/8h8+paZvpop6X
uXl9lOCJrjq1048ktAfUK+mvv13XOkizGOPMgDdLRkYIlT/p83aoHKH3N6vzbXW7
Koa5a5oFHcBUzWhdYRUe
=mEBA
-----END PGP SIGNATURE-----