[ubuntu/artful-proposed] ssreflect 1.6.1-2build4 (Accepted)

[Dimitri John Ledkov]

ssreflect (1.6.1-2build4) artful; urgency=high

  * No change rebuild against new ocaml abis.

Date: Thu, 31 Aug 2017 02:11:25 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/ssreflect/1.6.1-2build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 31 Aug 2017 02:11:25 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.6.1-2build4
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox 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-2build4) artful; urgency=high
 .
   * No change rebuild against new ocaml abis.
Checksums-Sha1:
 e95312b9174ff3735460c4aaa7803dc9f8b4fbda 2032 ssreflect_1.6.1-2build4.dsc
 b8b4835d41d4365fa0ff19fc4cc503505fc148e7 12668 ssreflect_1.6.1-2build4.debian.tar.xz
Checksums-Sha256:
 c61189acd41e654a4993b05e862ffafe9897004bf12b9073ce816ca2dc942037 2032 ssreflect_1.6.1-2build4.dsc
 936c14ba5a54c6e7f8e541040a1088d2b2a5ef8245d4d559c148a0058bee0417 12668 ssreflect_1.6.1-2build4.debian.tar.xz
Files:
 a87272b69381638230b6184e8f488493 2032 math optional ssreflect_1.6.1-2build4.dsc
 47e9174ac09b4a088a73461be78e36f5 12668 math optional ssreflect_1.6.1-2build4.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZp2JdAAoJEMrC2LnNLKX5FdMIAM12X1jSOKOg154Pb3rqYG8O
aaMgBxL0B6214s3NaPdSiDR8pozMjUKBMc4c9PASqwiw3lq9yXQ02Kz2CGnJxlLf
mGxq/rttI6FaIiYsLmfANWYHj0x+yNaLYa8FlKvVAL9opzh3GyBE+4R4TKjfxfD5
XwNxvmC3Npo79I3zALOg2prqWYot7mdRM1ii+rt2kECAxC5jtMpJZr3+Uem1RTrz
RxZDhcc9dBTIN+lzyMGyF07coIEofqUYirMnO07+7GabkkjaEQ5ir+UYe2HbyEmP
nwn6EgzI/1232d7sbwf5X9Ec+RUZHuB+l4Fwcki3JkX+OR+6yvhPhRApSbfk0U8=
=/34e
-----END PGP SIGNATURE-----