Accepted ssreflect 1.5-3 (source all amd64) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 14 Oct 2015 11:42:57 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source all amd64
Version: 1.5-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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.5-3) unstable; urgency=medium
.
* Recompile with OCaml 4.02.3
Checksums-Sha1:
ef3b204fe51b475a6927f80779eed14e22298570 2235 ssreflect_1.5-3.dsc
7f6299e7d01916f0f1db417880c0eda35e6d2f31 11504 ssreflect_1.5-3.debian.tar.xz
d55ac0cafe40596cacf63102c83881ce07631522 1194526 libssreflect-coq_1.5-3_all.deb
89fd2ddb185ed69f19fed9133078f61bb123f9c6 64740 libssreflect-ocaml-dev_1.5-3_amd64.deb
c24a4738458e39843b8a7859296273528e10d4db 444942 libssreflect-ocaml_1.5-3_amd64.deb
Checksums-Sha256:
b55a00b2034dec149bbc26f1db7bd5ea35591b04342b448cb5819e476288555e 2235 ssreflect_1.5-3.dsc
a0068b2a534c3d9ca14589c76b238ba7e1056922af7481d45dd39a2f31d25991 11504 ssreflect_1.5-3.debian.tar.xz
5426751cbfbd6265b11a798d5f7cfb9b9bd78ffb1cbfe4a13b2149707ac4ea70 1194526 libssreflect-coq_1.5-3_all.deb
bec304155c0ecb1430beec624404a8c883495b7d9d76146e02e2e9a6625de3b0 64740 libssreflect-ocaml-dev_1.5-3_amd64.deb
7f07a105aa406b021e8920aa86e660fac47376ef208a7f074a58366973bf12e5 444942 libssreflect-ocaml_1.5-3_amd64.deb
Files:
434e7c8ac8134bc2058f4b53d8618148 2235 math optional ssreflect_1.5-3.dsc
49221de075249e5d0e158c97d56d586f 11504 math optional ssreflect_1.5-3.debian.tar.xz
bc8639d2bb74028ba1f2d451ba4acc56 1194526 math optional libssreflect-coq_1.5-3_all.deb
1e2651cd2208e80276f266c76febe032 64740 ocaml optional libssreflect-ocaml-dev_1.5-3_amd64.deb
7e02b40d006e809cc8522deb233f8eb7 444942 ocaml optional libssreflect-ocaml_1.5-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCgAGBQJWHk5EAAoJEHhT2k1JiBrTyegP/3QE1lKzzuuJQgvAOnqzCKlp
fjObfTGNIDxOTF6YMJjRd1yKGpRSrGwb2mjzuJ/x2MAH971E0ol4Sw/Jbs1aZ1Xx
5Ct0OBTWbh55Y0d7KtIbQ61rhgspNWYDoJAgqSHZ6J3raMJSgIn8zdTLNOfUT+gc
CbfPKjNptiO3cw6RNDhs3B5lXzKBF9R44/7TkJ1HwbD5KRCuj4dvCxYDTvwyjdWR
igHi6DnP/fRtgYMs1SO39MQw5IpGCyhWw+amUNl7TAt5J0VaqG3wIFE7jUk6o2v8
6vUNdwaGrEihUDB3HEUmPelMBherl76BTnRRdtO481F/AYt/QBtbw/h/Z/XFxs6Z
m27a/9H6kkT8hTlMpEbPW4SkEJC/lknM5GBXGM/fdbYY3DqjtVgDwNzyyu49RkgN
O8dimE47jxyERFCMBhZIMFHhVCY/8pYrWPk+s2qeXhA2EoyeTXAlNziocnMGTKCn
eWum68s4z4yzGpiJRB0JWh4QrHtT4QTCDObv+LJuvKjdNg3gewFEb/uKR4b/CTZQ
OTLQJBDFEPqOumfyA0UEHRwcZIqt3H2nGXtfjdoMQpDVksLSRx9obEz4yZaN5rij
gnymSjC+8zEi42YliPh9oaA+Y7sK8IXg9RDCDHvoQMXcYIN2RHd4wSsQqzXABEju
rb0DoQgJL/FAUktFFYQs
=KOhm
-----END PGP SIGNATURE-----