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

[Chuck Short]

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

  * No change rebuild for libmysqlclient transition.

Date: Mon, 12 Apr 2010 13:38:13 -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://launchpad.net/ubuntu/lucid/+source/matita/0.5.8-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 12 Apr 2010 13:38:13 -0400
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-2build1
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-2build1) lucid; urgency=low
 .
   * No change rebuild for libmysqlclient transition.
Checksums-Sha1: 
 e65f3a8968cd7f331f8462b0796bb64b7d5a4ba2 1745 matita_0.5.8-2build1.dsc
 4f8ffc6daca4f3ffc4efb04c7f4ed1fe232c5bfd 5329 matita_0.5.8-2build1.diff.gz
Checksums-Sha256: 
 9412dea6b581eaf8769fd9082041d0b96016843ab20acf10f76145e1cc391285 1745 matita_0.5.8-2build1.dsc
 eff1a89d58d6df4678943f71119c90fe5d462deaebe108b4c531b8097fb1606d 5329 matita_0.5.8-2build1.diff.gz
Files: 
 a5e55ff2541cea3a43931dfd42ce38bc 1745 math optional matita_0.5.8-2build1.dsc
 df4e0b4f3dfd4ec605c6be6e78db08d6 5329 math optional matita_0.5.8-2build1.diff.gz

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

iEYEARECAAYFAkvDWq0ACgkQIHZ33voUATtoNgCggN7XNJ7W+Ev4gfb0A2ncjMdV
6jEAnRKaBJMeAjYITam2tpN5zCgm6bDw
=NnPv
-----END PGP SIGNATURE-----