Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: ia64
Version: 0.5.8-2build2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/ia64 Build Daemon <buildd@floe.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: 
 b615aaf5ac79bed1e84834c63444a1831ef86c54 15578532 matita_0.5.8-2build2_ia64.deb
Checksums-Sha256: 
 8faee4dd27a391fee6d5e6aa96b134b07b35cbf5a92101324a62bbcac5e2ac23 15578532 matita_0.5.8-2build2_ia64.deb
Files: 
 e7a97d0c4381a6742d2460cf6b5f1d55 15578532 math optional matita_0.5.8-2build2_ia64.deb