[ubuntu/precise] ssreflect 1.3pl1-5build1 (Accepted)

[Colin Watson]

ssreflect (1.3pl1-5build1) precise; urgency=low

  * Rebuild for new OCaml library ABIs.

Date: Sat, 12 Nov 2011 00:07:58 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/ssreflect/1.3pl1-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 12 Nov 2011 00:07:58 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.3pl1-5build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson 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.3pl1-5build1) precise; urgency=low
 .
   * Rebuild for new OCaml library ABIs.
Checksums-Sha1: 
 2251da6a0e8b0da918c2d2b3b1f4fe2bde195b3c 2321 ssreflect_1.3pl1-5build1.dsc
 f7d1ea63c46101fe25273bc234a04f32410594f3 12192 ssreflect_1.3pl1-5build1.debian.tar.gz
Checksums-Sha256: 
 36b5bc01ed03ec09c5e547cbf83a2fdb41817561bab8b19a30d9089a8fef02da 2321 ssreflect_1.3pl1-5build1.dsc
 5d3d5babc20d2290765a0dab6f4a6f45ef974c2d44ad7d4194249d79d766e6d2 12192 ssreflect_1.3pl1-5build1.debian.tar.gz
Files: 
 a4335a19d683ef2599095ca0ed77a9d9 2321 math extra ssreflect_1.3pl1-5build1.dsc
 1be6c5322cfe6afd548542274cc89c46 12192 math extra ssreflect_1.3pl1-5build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTr245jk1h9l9hlALAQjP4w//RvlacckOwf0zjPKHwYPFk8EOq8JXE/6g
VNIQ/WDSGb8Jwp5zqL5X81ooUAkwUKcG6mgAz13GDEPrHekF+faXXe1agOUcFfax
AAaIx+pHosjowYB40Ns9qzwGCkTkG9W40xsIypbSypZdT1ealwRgzGdJUTvIYYN7
8fSPyfQQrjlJ4JC2yqCmCtj2Qe1+wACQZPlUEEFPBSxZ0PGTo/qfqxCHcKA8WW9v
fIVlUvdUb4JPyLt3mhIz9sgYhhTSctE0ARFGaD5/wkROl9l6Yck1sWDt2i/wIWrk
PQxO8P4b4N3lctmlRfAYoZcyPWC5C5H6W+a6ULPxMyQKrb0xxFdLjD4S3lM66plO
vbofOYjwx7Qga9V3ZmENeZpRHwp0IyGEi4NBDpe7vEe+cpvI43jFE1BmFBzccNXh
XAFDt8Vj41J190fDHwT9xQcMWT/uJjS87qJxfgLlgStSe1upZk65uh/juYRESk0N
inrtKQGk7deJoAvlV46P5IJ/qkEJ4mTCDhgUb+yJM+gCTU7YLq+jqzddFCLIRkQX
xfp2rhaYkvroaevF3lPkdbpK3rhGnksy9REqzYt65VD+gphg8nrua9XOsTEjE4SJ
ViuBuULwafP3xqmBjhgO/3SkGbOBWrW7Busp4pBPvkjpXKfvexZvGSSfDitlTv4T
hv7SnN5Yvac=
=zuUu
-----END PGP SIGNATURE-----