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

[Dimitri John Ledkov]

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

  * No change rebuild against ocaml 4.04.

Date: Mon, 03 Jul 2017 01:29:54 +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-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 03 Jul 2017 01:29:54 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.6.1-2build1
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-2build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 ffc9106f517164bb0de30e2752b477c920269963 2032 ssreflect_1.6.1-2build1.dsc
 2c3e39d9ad1c6170bb83176eba3842c756afb380 12592 ssreflect_1.6.1-2build1.debian.tar.xz
Checksums-Sha256:
 8b81aeda7bd5dfad4d994b824cf5857790aebae56435c7b9bfbb3fbc32ea65dd 2032 ssreflect_1.6.1-2build1.dsc
 3df5f2905dbdca2e0bfae7ef0d208480a20ea2c22efb2e7cd3ce9e61c709518b 12592 ssreflect_1.6.1-2build1.debian.tar.xz
Files:
 e988466d7863ab8ca551b918b98e939c 2032 math optional ssreflect_1.6.1-2build1.dsc
 72753c7ee5c262652561a9a7342033d4 12592 math optional ssreflect_1.6.1-2build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZWZBAAAoJEMrC2LnNLKX5K8IH/RnOpYvlIj960nffOjmSWAe9
F/eC7MgVTpGdo1m7fPxvVH3m9blCADtPGfV334O4Pn79aMZZLbrWTNPWhyc8uEsE
2Dq/TPTZCymr7yp2yP96lI/u+G3N756E/1rN15vyVmnqRH3B+wvjec3ivtbpPEDD
oD9FAlsxevYHkPTWX/0ii8+SG3GXYiNtHrEomSaGs74WDMvdDWv5CnQYhAUcfHBb
IJ7mkFuyRFgUyoXc+WYPqTfHvdn6AU8rrv/eJtCO8tCULhEQKKEpPU+u8VHp/euQ
aL+4JDjesNuxDSusZKJ/cUvksXrrZYPR9LdCLyPKgIlKSehXKtKhNCgrdsYixd0=
=JLqR
-----END PGP SIGNATURE-----