[ubuntu/lucid] ssreflect 1.2+dfsg-3build1 (Accepted)

[Ilya Barygin]

ssreflect (1.2+dfsg-3build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).

Date: Sat, 06 Mar 2010 10:09:56 +0300
Changed-By: Ilya Barygin <barygin at gmail.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/lucid/+source/ssreflect/1.2+dfsg-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sat, 06 Mar 2010 10:09:56 +0300
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.2+dfsg-3build1
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Ilya Barygin <barygin at gmail.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)
Launchpad-Bugs-Fixed: 529408
Changes: 
 ssreflect (1.2+dfsg-3build1) lucid; urgency=low
 .
   * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).
Checksums-Sha1: 
 f984ad8e52770b7d634041ec376371553ced7676 1806 ssreflect_1.2+dfsg-3build1.dsc
 ac6199782b89623aa88a0630d7c084efbea6363c 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz
Checksums-Sha256: 
 40946cb9498ea4f791679f3baf543a519c5c8ec6864070c2d9fc5732140b9871 1806 ssreflect_1.2+dfsg-3build1.dsc
 c694cc6444c7b0270cd59c0467a12160376c888c9b2cbbae08fa44fda34e9728 12526 ssreflect_1.2+dfsg-3build1.debian.tar.gz
Files: 
 518200a6fbc734383c97ff4f77ea7f2d 1806 math extra ssreflect_1.2+dfsg-3build1.dsc
 d71d0b7fca88328aecc8f3a5ba12daf6 12526 math extra ssreflect_1.2+dfsg-3build1.debian.tar.gz

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

iQEcBAEBAgAGBQJLkgAdAAoJEP+gcEe5E+JxlBoIAJJcM+EGLnnyJULy7F+RjgfA
EmWjEuGOAJUHYCgYEzl8tY2++GD329TWVwNFYNxgC/DTDFxfc5dYWy10Fv861n01
zkEUwfZzVY8EOFyT++EwkqUDr9kmUYCws67CuEr84moJGbZ2gaJ2kxh/m/58aoP2
hNpODOU3DKrdincQkkZDklvBDMcnOgoiQ4HvQ4tXllKuvynd9px49bxtrRvGCs3j
LoIut+wi8JhWGQko1HkGgWFjqJoV5Eo+Ne66Fz3UTHKmNOz78zBnx1HGLJq7stYT
nE44gH0yRSTFA0HXum3G1WeMTEtTYqhidU/rYugO/7nz3sOVUdPpB0hO0DV9qn0=
=qROk
-----END PGP SIGNATURE-----