-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 25 Dec 2011 17:28:19 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl2-2
Distribution: unstable
Urgency: low
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.3pl2-2) unstable; urgency=low
.
* Rebuild with Coq 8.3pl3
- cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
Checksums-Sha1:
1f86cca6cb778ae6dabc96b5406dba76caebf3e2 2250 ssreflect_1.3pl2-2.dsc
0c1f8b39e43d2b4ab386d0377b9236dcf66bf334 12805 ssreflect_1.3pl2-2.debian.tar.gz
320eb1ec81285bd9919ef7a1166c05f03da46ed2 476472 libssreflect-ocaml_1.3pl2-2_amd64.deb
adbb4303edba2a27b1df2e868fd9d34a291e591b 394514 libssreflect-ocaml-dev_1.3pl2-2_amd64.deb
3890f8f602d2321f3c83cf8676d198f6340e99f9 16081056 libssreflect-coq_1.3pl2-2_all.deb
Checksums-Sha256:
e95ed904fe860d357ecea38b004c4d4542405bb26a32389b370267827745bf93 2250 ssreflect_1.3pl2-2.dsc
1b76c5eee347b7464e259247566d68d6390d3ab8729e5d6364adb69dedd011c2 12805 ssreflect_1.3pl2-2.debian.tar.gz
9d5ac4c8e912c092ad19836be610c1519f8cb05e8b9d8b5c9e4f4846f6313c17 476472 libssreflect-ocaml_1.3pl2-2_amd64.deb
c379dc165a035771343905d2a7bac1d3aa388a70f55c1daaf49f8ff7f8b4d89d 394514 libssreflect-ocaml-dev_1.3pl2-2_amd64.deb
b8b34daf244687aef1a3fa0053f8b1aedd9b4b430dcd825f91946e8b824b3c9e 16081056 libssreflect-coq_1.3pl2-2_all.deb
Files:
d97f986377586f6a0c8d8319fe776b75 2250 math optional ssreflect_1.3pl2-2.dsc
d38a618993181811fde04e29bf17cad8 12805 math optional ssreflect_1.3pl2-2.debian.tar.gz
97222d35530ae3fefe9bf7b6aabaeda6 476472 ocaml optional libssreflect-ocaml_1.3pl2-2_amd64.deb
5182daf67d2416b3acdaf6e16109b0d2 394514 ocaml optional libssreflect-ocaml-dev_1.3pl2-2_amd64.deb
4a8eaf011322cdb1e6bc75be8af18926 16081056 math optional libssreflect-coq_1.3pl2-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJO91WKAAoJEHhT2k1JiBrTAaIP/As91Kd+0JSwq0GS8TxQbKmC
OyY4nZCP8ztkFOMSic7ZdJnVii0tWKC37r6Arm44jha87a9In7xC8ZM6i4WFdMsO
6hxpY/YcgKIVUKGtBejNN9whxEJVEsfvIXc1LJfy2dolvoEjrvTz+XtzUFmQkJIv
f7drFvFtHIWV48Y7bva6A8qvX+ApmtaBMfsW+HD3NG5zeO+SMJjv2L/hQ/F+ka/s
QPZIiyMiQgdaPcZlSfTLIn69T9xgc/+t+UEI5Df8Rjq1deoOctHMs9e+C/eLrnj4
+R+PICQbgwBf13lPmOiiFbIk9UgskkekfGzk4K4aH+Fpr9YwCfSHPGufCctXqMaR
8Mfc2kLmze8WtHn3Mf138/a9E4pRJlKkcSHVmY6wtwLTtXoytbaYckFYZTODgMEa
+YGpUtUNzZZMn4zY03khXodtokJNsr5KlHnI58rwVZB+FF9lU6i0AhW89ZfJhDII
Omty1ktHSY+znBTLmSacFbmJ78/HpUDSLuYFmJDH7jFt0nwXiRb4BZnMw1Vrl+8Y
S+OEHdmndX53sBmz4ZbTI+RumQopTNIYtyVB66eGTqFrHWkYa1xR9eGFPkU917yT
pVJwwIjJNtO7xoEZfMb5nR6GrzXPSaTP2osyN45vrRGm9vsll/QhLnWEeE7Gu1D8
+/Tj/i/PeYalnYs9wgpC
=/Mtq
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl2-2_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl2-2_all.deb
libssreflect-ocaml-dev_1.3pl2-2_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-2_amd64.deb
libssreflect-ocaml_1.3pl2-2_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl2-2_amd64.deb
ssreflect_1.3pl2-2.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl2-2.debian.tar.gz
ssreflect_1.3pl2-2.dsc
to main/s/ssreflect/ssreflect_1.3pl2-2.dsc
