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

[Colin Watson]

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

  * Rebuild for OCaml 3.12.1.

Date: Sat, 19 Nov 2011 18:37:02 +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-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 19 Nov 2011 18:37:02 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.3pl1-5build2
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-5build2) precise; urgency=low
 .
   * Rebuild for OCaml 3.12.1.
Checksums-Sha1: 
 feab261890e2a7f4a6b8125dd29fb587379fac47 2321 ssreflect_1.3pl1-5build2.dsc
 fad00ccbd40627554011fa003b69b299e41a5bd7 12215 ssreflect_1.3pl1-5build2.debian.tar.gz
Checksums-Sha256: 
 955190119c1551da267f0e9b28c67b8cfb6b564582a81c2e5483684754b9f1ca 2321 ssreflect_1.3pl1-5build2.dsc
 3adb1b819a8e44c89a613ffbf29214e9f1d7be5b6339ddb6a65a86e06a19fdb5 12215 ssreflect_1.3pl1-5build2.debian.tar.gz
Files: 
 da7cfedd916381edb74234c3b7802462 2321 math extra ssreflect_1.3pl1-5build2.dsc
 336d51b9459f526c6080b4ea5e317e85 12215 math extra ssreflect_1.3pl1-5build2.debian.tar.gz

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

iQIVAwUBTsf3VDk1h9l9hlALAQj8Ag/6Ayhd7RnyGQnLmE/4fgtWTkS50cNHWRPt
gxlZAnA/6XqloKLPlUdN3x/IJ1gRpTJhTHy1C4phOXMaIH3zPkE46ePMCkcU92u8
dbpNspKF5+5i1G9e72s2T8LG+HRL18BdKITFuA6LY8uK2lcwbJgeMn09OruVFovK
Am4LxHjVi2PolOg3a2PG1ZloQ1OiV1sow7NY5nBtIv7OiHyQy3Eh6jBjxy2sNtJu
opqXittWVHdoUp7rmOO6Xp/bFLj5WYG9wTmUO+cO6tcw72SnIA8PMn71BHnmRoll
2Gjjg0pYGXNPyIn30OMSry1qILEjRQH07vJwiI8XvpoaAs3qYvqwAFQuy2rLsXDK
LL2oto2eRlfGa8oA1Vyb0Eeem2ZlBTuO4Bb9BIugkTiUYgixj/hxVn1eqjif0NkU
MXnKDk1Ade4BcMRWAB2waqpiQWTn3xJjZWkaDimeQUq7XiSnm2js9AqNhYrzjB8w
s0fDrRYJCWpilJvuzEM7RgVowPHRzCIEKZrnjWVbYVCoZmoarkhETDOpk5h+tKVQ
j1gVLzgqYh7pNlLUNxDTGkpLq3Pz6byI7WBI49/BgkTSQJYvzbCxWse0qLQx3nB6
/bYnFfYFQRX4BCTFmREXDP4xmJuUMWEv8LI3Q03v9Jx+bDFbBiJdKQOQVED1sLoH
mfN2y5yQpY0=
=Qya1
-----END PGP SIGNATURE-----