[ubuntu/disco-proposed] ssreflect 1.6.1-3build2 (Accepted)

[Matthias Klose]

ssreflect (1.6.1-3build2) disco; urgency=medium

  * No-change rebuild for ocaml abi changes.

Date: Tue, 15 Jan 2019 14:41:35 +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.6.1-3build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 15 Jan 2019 14:41:35 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.6.1-3build2
Distribution: disco
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.6.1-3build2) disco; urgency=medium
 .
   * No-change rebuild for ocaml abi changes.
Checksums-Sha1:
 62a1e4f8ec52af73a89512cd55d7b1a298b8b83b 2338 ssreflect_1.6.1-3build2.dsc
 839493e8c7394c628f22181d82d7bb246dc586a6 12636 ssreflect_1.6.1-3build2.debian.tar.xz
Checksums-Sha256:
 82c2d5240aec3b1f11b137de9d189ae407ddb390871c7473f9739f3c62e70524 2338 ssreflect_1.6.1-3build2.dsc
 a0f49bdfb7df18f7222e1ea8b3c61994ebf6fce3c993ef51f10eb1ef0317d66a 12636 ssreflect_1.6.1-3build2.debian.tar.xz
Files:
 732e7d59c0bf94f62b7558b37c91ad43 2338 math optional ssreflect_1.6.1-3build2.dsc
 502277fa20cf1f02de77721cba6c8b97 12636 math optional ssreflect_1.6.1-3build2.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw98TYQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9YPkD/0V22jQQooxjwF1CaOfWKjRI8A7JUV251wJ
YoL6Lb3/hOnmtnlvxC2WUeMPGeA5mtIoMmAMr7ShRJNAAKkBNR2aWqxArsbo3OVR
JQmtB58cHctYvCSnoPo6undFaMjCyyrMJ7aFFGPYE+ovX9tDJhk2046LsTJWProl
77OnFV2TPunsLFFFcLQnGMfjl96Sp2NjgIOQY5rkOAXIsIh+e3mvKlwVfTuOKgRZ
fFVPS3axnJTVoS1wcrs12PfKh49YcOuYueoKGpLdzXkslUF1z99sJH7ephvafCAJ
r56Ep88s+WFb/yJAADzDWRVs+euaJEKciwxEmrUWUlIHnsDp48nrhmLC83NJU3oG
iCZlzMu1zXXScK38xYXhtTJk3igfVhbe5Ax0D/z5FNmIVzYaCN6wpr+57IUGKhPS
4KSqTZWWn3DFoG2xkRe/p00j//+Mu/S8myUZSMc69MvQE1cnH7Cm84LbP28I9jhn
O11ZHv3BELkVjQjrx/PMULP1JRsH6ZpDHCPsGqVjO+nV7XjFtIsJW0/BImGHQzip
Wrqw+gBdj7NtCOhSyKeFn7hYxwiHBZxHhjqKpoXxN7s9oqKvX6yxGY15Oad/marT
zna9fDgpBra6M61kJmIKLg9dKCUy0Qcb086xTFi7lCvSGef7lqbJYW4gVJ3R1Pfi
wSH3QNayQQ==
=84/+
-----END PGP SIGNATURE-----