Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: sparc
Version: 0.5.8-2build2
Distribution: maverick
Urgency: low
Maintainer: Ubuntu/sparc Build Daemon <buildd@artigas.buildd>
Changed-By: Chuck Short <zulcss@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: 
 f3d8944cc297aec307ae6a445c1d3cd329c268df 5932458 matita_0.5.8-2build2_sparc.deb
Checksums-Sha256: 
 2948fc76020cbcf3ffae077e0131e834a5d89d29cacfd359deddc4a0d0d8b782 5932458 matita_0.5.8-2build2_sparc.deb
Files: 
 3bbfa8a4f244877291a623b35385cf8f 5932458 math optional matita_0.5.8-2build2_sparc.deb