[ubuntu/precise] matita 0.5.8-3build1 (Accepted)

[Clint Byrum]

matita (0.5.8-3build1) precise; urgency=low

  * Rebuild for libmysqlclient transition.

Date: Tue, 29 Nov 2011 00:00:36 -0800
Changed-By: Clint Byrum <clint at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/matita/0.5.8-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 29 Nov 2011 00:00:36 -0800
Source: matita
Binary: matita matita-doc
Architecture: source
Version: 0.5.8-3build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Clint Byrum <clint at ubuntu.com>
Description: 
 matita     - interactive theorem prover
 matita-doc - user manual of the Matita interactive theorem prover
Changes: 
 matita (0.5.8-3build1) precise; urgency=low
 .
   * Rebuild for libmysqlclient transition.
Checksums-Sha1: 
 84e420ae1b57894deae7e5160b076944cdc8fbbe 2072 matita_0.5.8-3build1.dsc
 db365b915cf153ab5208a4ee16c6ee9037fdb889 6627 matita_0.5.8-3build1.debian.tar.gz
Checksums-Sha256: 
 7ddb50587c02e3eb0a41a20862ffec2d821ef562453a9e2d14925390ae765a0d 2072 matita_0.5.8-3build1.dsc
 3178c80be19a454219929d7adbcbc5f404d3d523a7afc451d0c9e960a0345be7 6627 matita_0.5.8-3build1.debian.tar.gz
Files: 
 9dcc7d2af09b8d0a462d8903732b6232 2072 math optional matita_0.5.8-3build1.dsc
 c9b595118c8e6427f924c09c16d33d46 6627 math optional matita_0.5.8-3build1.debian.tar.gz

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

iQEcBAEBAgAGBQJO1JE+AAoJEFOMB2b0vLOONpcH/0sZ8zAzJ+P+IlUryG3G2QwZ
DAuWFIItNwTxxFlRBnWyauKSlDYiviDhOWHUYIaMl46HDfTcTo+qMvqUX9SAiKb8
Rm2WjbTKYHC69jSVNSiZ+AXtnXPQIoy4I9JKh9oMFSpsVXdf9FH3g3e8O3yn9Tw1
aiRt+ipEigqxmJU82FBR+M1m10J4SemqD4DJLU0lyuOmT8pje4g3w9q4oKRYtcyY
FumrAM91nCs1igLNoaWIN1smwEBEoKDQoFH1K/DpcGjF+W/hEXct2/1jmG44jyaU
/V2FmQNQZeHXm98dVgfuqJDPyx7jdxeBNJGoZ9Zt/L4AZ9EpTG/02yC0zH2kaSU=
=SXls
-----END PGP SIGNATURE-----