Accepted ssreflect 1.5-2 (source amd64 all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 30 Jul 2014 10:21:09 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.5-2
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-2) unstable; urgency=medium
.
* Recompile with coq 8.4pl4
Checksums-Sha1:
894a9a42191c23ab028d681aaa9aef319afef5f8 2252 ssreflect_1.5-2.dsc
8fe72d378584f968f68975e159618ee61a371f9b 11460 ssreflect_1.5-2.debian.tar.xz
f216c1e7ff866ec11634842c34789c18134ba7bc 477236 libssreflect-ocaml_1.5-2_amd64.deb
b9a4e70ca4619a297a7a3e76c6f7e050795e4859 64074 libssreflect-ocaml-dev_1.5-2_amd64.deb
d9bd012d8cab4311f9abac78d10fab874a0fd17e 1193784 libssreflect-coq_1.5-2_all.deb
Checksums-Sha256:
f7698278e3fbedf230fb99700ba515875197c85bd0ec7b9ca2c068fa5edafac5 2252 ssreflect_1.5-2.dsc
30b3a9679f09bc1430663304b09f995099274860b675980648e1a52f845a13b5 11460 ssreflect_1.5-2.debian.tar.xz
f6947bc92a4341d6e67c89d308b70dfc4f2a8fdf0efe3a9ce222d29daaf72dba 477236 libssreflect-ocaml_1.5-2_amd64.deb
5787011232702f40fc3edf20ef8e86be91f3237a60b11446e2f22f672fe501da 64074 libssreflect-ocaml-dev_1.5-2_amd64.deb
63cc382ec908d81bd934f2f3bd285f0fc564b7feac41dd179e98ed1ee558a40e 1193784 libssreflect-coq_1.5-2_all.deb
Files:
1ec3b1ae3f8d117043d069c39675b1e3 477236 ocaml optional libssreflect-ocaml_1.5-2_amd64.deb
1d1c3a6240fd5f333e1177746c2ed1d3 64074 ocaml optional libssreflect-ocaml-dev_1.5-2_amd64.deb
3287b5f4d72dd1ab79128c1c824786ac 1193784 math optional libssreflect-coq_1.5-2_all.deb
047550865b1bd1a1a6fd6b0a495875bf 2252 math optional ssreflect_1.5-2.dsc
77551128f0403885dbe04b529c1f8332 11460 math optional ssreflect_1.5-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJT2LKRAAoJEHhT2k1JiBrTTFoP/iFbgsVt9QMkHcc4llhSIHB+
SQFcXDSIie7pipoJTfTg5bAw3vfEP1j3mYC344JQMnHjVP79Imf8ku5FjJYP3THe
lB/AVvCRTDdoS1h7Dzn7M8R+lJ0xvqgc4Kda78XQ5QYr+3aD6g36xnpE9LVKeGKQ
ZfjJxlqvKMFmax+gkljwwOnaeP7VF2CsmYx0TRPq1LTUKA/AtexR84jaRVxcTEnJ
y2lo/p4GAL9qOOrmVJ427csGHBz+NDrW/mP2Y6ZTHNf+k5wlaYNq3E4SNCjaaa0S
SBvjlAa/vjvDYPGv8Vxsbf27zNAXHGDW9qfkuATTTp4Erg/+nHpUIM/gZNRVzedT
m/uTBbQZndcwzoHCyzFsSbfwvUZPnUEwZiMDXebfQHLncpV4yX8kLq6nKb44EZ+o
LSPylQxl3+moZYyrAj4D1ltq2nuVAww3be+kxQd2rz2jlnFOrlM4TJjBK0erowHW
06H9/o3Hl5eBlyn6b4onS5FRW82Rp3Re+wxbG1gClobBq1piMJOmiyac3x73YgI1
3FjfjwoLjI4uZ99MXjRWa5L/B8Kyl2WYwn1YW7bN4cMDDkB/QcbAFMigT69n2JZW
vzZib0paKNGhhY9fD/mENYIDyLfe/sKnJP5TfBB1L5ZUODsSq2PGI4ZPZmoWvUBn
LYBCT3MLeHg4HjEubRzo
=tIM+
-----END PGP SIGNATURE-----