[ubuntu/oneiric] ssreflect 1.3pl1-4build1 (Accepted)

[Adam Conrad]

ssreflect (1.3pl1-4build1) oneiric; urgency=low

  * Rebuild to pick up ocaml fixes on armel.

Date: Wed, 24 Aug 2011 16:41:20 -0600
Changed-By: Adam Conrad <adconrad at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/oneiric/+source/ssreflect/1.3pl1-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 24 Aug 2011 16:41:20 -0600
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.3pl1-4build1
Distribution: oneiric
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Adam Conrad <adconrad 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-4build1) oneiric; urgency=low
 .
   * Rebuild to pick up ocaml fixes on armel.
Checksums-Sha1: 
 25ee84aed26893ca8dffadcdc44330d192dd6732 1497 ssreflect_1.3pl1-4build1.dsc
 0b871cd3b06889e6f943c99fe15ec9aa191f4b8b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz
Checksums-Sha256: 
 0be402e0478ff9456c53eaca7ad786c1311d9f18d1e6756f0d15c93560430513 1497 ssreflect_1.3pl1-4build1.dsc
 4aa1b943806d2387a1df7762214ae7d3614dbafc90554216798f9d6bcaf5930b 12345 ssreflect_1.3pl1-4build1.debian.tar.gz
Files: 
 b77a8c3adc6da7e3799c1d65afefd586 1497 math extra ssreflect_1.3pl1-4build1.dsc
 06cf32bdf71b8377fbb9f7eb9773d8d9 12345 math extra ssreflect_1.3pl1-4build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk5Vf8MACgkQvjztR8bOoMlbLACfaeo2+9fnYlFb6XayC/f7/e3b
V98AoKrZyNETyelkYWk3gPBtQ57Q+mE7
=2MhH
-----END PGP SIGNATURE-----