Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: amd64
Version: 0.5.8-2build2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@yellow.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: 
 d5d2793a2f3b6a6559abef878bcb0a30b044cf89 6090184 matita_0.5.8-2build2_amd64.deb
Checksums-Sha256: 
 1f11c44ca46ffc64b572fb77bb7977679cd5ba24d52e4e77239dbd7be6b8f929 6090184 matita_0.5.8-2build2_amd64.deb
Files: 
 e470e24acf7721befadc24efa36e6533 6090184 math optional matita_0.5.8-2build2_amd64.deb