Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: armel
Version: 0.5.8-2build2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/armel Build Daemon <buildd@cushaw.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: 
 855fe4871a1f87962be91b3b8dc8e9852f6b6f62 15576874 matita_0.5.8-2build2_armel.deb
Checksums-Sha256: 
 1b9c115d038e5d03997accfc06e1ea2b0f620f58a6ac174c436846e15afda7af 15576874 matita_0.5.8-2build2_armel.deb
Files: 
 cff28b3659f37436b0db23bd27a12b38 15576874 math optional matita_0.5.8-2build2_armel.deb