[ubuntu/lucid] matita 0.5.8-2build2 (Accepted)

[Chuck Short]

matita (0.5.8-2build2) lucid; urgency=low

  * No change rebuild for libmysqlclient transition.

Date: Fri, 16 Apr 2010 12:12:58 -0400
Changed-By: Chuck Short <zulcss at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Chuck Short <chuck.short at canonical.com>
https://edge.launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-2build2
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Chuck Short <zulcss at ubuntu.com>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Changes: 
 matita (0.5.8-2build2) lucid; urgency=low
 .
   * No change rebuild for libmysqlclient transition.
Checksums-Sha1: 
 b82637a69b8416ac745f2320859c88935d3da6d8 1745 matita_0.5.8-2build2.dsc
 6886bb854982921eeecfc3d10a00f4249c095f62 5361 matita_0.5.8-2build2.diff.gz
Checksums-Sha256: 
 5141752510f2ed24c84281f95384a0fdfc0c3dbbd4ee3ed39f47a63c552921a1 1745 matita_0.5.8-2build2.dsc
 b7c156ed680ec9f23bd043f32295e3864878826c9d22d81d520c6583d09e6105 5361 matita_0.5.8-2build2.diff.gz
Files: 
 155fba71bf490c938aec4a9754a37ecc 1745 math optional matita_0.5.8-2build2.dsc
 91f74a792fd8a3b915eb9da9827ac677 5361 math optional matita_0.5.8-2build2.diff.gz

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

iEYEARECAAYFAkvIjKQACgkQIHZ33voUATsu9gCdGVJtl4THBIGP8+LViKLbfDhR
wPEAoIC1pVZULZrQprgDhABkWmtNxrry
=ys4b
-----END PGP SIGNATURE-----