[ubuntu/bionic-proposed] ssreflect 1.6.1-3build1 (Accepted)

[Gianfranco Costamagna]

ssreflect (1.6.1-3build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 28 Oct 2017 16:41:34 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/ssreflect/1.6.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 28 Oct 2017 16:41:34 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.6.1-3build1
Distribution: bionic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
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-3build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1c3a1d918b158fd52a375023406a77f61afd6ca3 2281 ssreflect_1.6.1-3build1.dsc
 5e14d642b45bf0b49c5ba76a6471d38bbc9cc5de 12572 ssreflect_1.6.1-3build1.debian.tar.xz
 3ec32dbf99bddce80254d75baffabefc2e77dce8 10002 ssreflect_1.6.1-3build1_source.buildinfo
Checksums-Sha256:
 ffec9fa562931def013f0222e2c2f63323def9fc7b793ba1469fcbd5c54bfff4 2281 ssreflect_1.6.1-3build1.dsc
 a053b9dc55319fac6cbab2095a64262d34ec4e0841b9f88b6b4972da2670c21c 12572 ssreflect_1.6.1-3build1.debian.tar.xz
 45d5a97062f08aa0244963832f4a989928614c0cf244232f74140046137de975 10002 ssreflect_1.6.1-3build1_source.buildinfo
Files:
 c0adc5580f08a2fa41321d26288672fc 2281 math optional ssreflect_1.6.1-3build1.dsc
 7a69df835afe2094ddaea44c7a54eb35 12572 math optional ssreflect_1.6.1-3build1.debian.tar.xz
 49be011f0889528bfac88fc9c1e0d251 10002 math optional ssreflect_1.6.1-3build1_source.buildinfo

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

iQIcBAEBCAAGBQJZ9JcjAAoJEPNPCXROn13Z0lsQANvu5GA/hgugjxgWM37SBNS1
/GaZcLGE+whP+vFAS7U45VfFcmOt2ndl+gikglRDMTMdqIji7/gxZyBVux9oRgVJ
FJSGS0xgCNtl3+NZ5Se7WkeRCuJ7/sbLLNu5swnQ3hREWzrr8iYUrCCc6ePJOal/
NMpBjRtF3LHch2m/ABVPARL3rH7JTdnHTmzw2RqXAGFlUsHrOsOSRn/wmuo0lq/e
JFNVvDwPqrBvkxNhPmikwlraL50NHj9pkxrQjICVS3AnBd4X9ZmIYgdbTnJh8dBC
kLVnJaruoHzVt9HeSo/5LGhrgYwqdfEjB+VlhdPGkEKGn+WO1lelhusyySvyQFqR
e4YgJhuDeL90vBESOzolhAMqBstuSaSYP1jgT1vsmRI01POAcFW1gcgeePk84kCB
qtC8ghnNew7gFKkaJxAl+lH5zGGn/osenUCSBWNx9CxiyRP63bpriXh78fuhtjmh
USwbiDE+4GEy6TIDzI7I0NsoEEaD5uYpkJghTo0XJDlzw4svts+eixvp53270+KG
exGfDG826mXtpCVMPyXpy/MlzjS/cDP4W+NsX3+fzcdAz3Fv7Qg/4SloAyUqbUIs
lfrKca4kJhbwF0L/2Aq5t/DPmJxH6Z64hGMbbnGehsN+ym+E0sMwWposZCHie0t1
fq40QzjQrlJtw5mG+DVM
=Mxky
-----END PGP SIGNATURE-----