Format: 1.8
Date: Fri, 16 Apr 2010 12:12:58 -0400
Source: matita
Binary: matita matita-doc
Architecture: all i386
Version: 0.5.8-2build2
Distribution: lucid
Urgency: low
Maintainer: Ubuntu/i386 Build Daemon <buildd@vernadsky.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: 
 69229fdb79c9b95c00aff4f861915c68adab512b 1229346 matita-doc_0.5.8-2build2_all.deb
 8c92cde2d855b079f755a04dd27fb599b2f253ac 5808566 matita_0.5.8-2build2_i386.deb
Checksums-Sha256: 
 2d4d2d7a2f39b801e48f3555c8e450c638c0f873e4cfb3d4e9c93f03d218b0f7 1229346 matita-doc_0.5.8-2build2_all.deb
 9b24ba9567313a931f8875a951feba20bb2938f1e250dc10fa4ea9a11ff444b2 5808566 matita_0.5.8-2build2_i386.deb
Files: 
 dc9587eb099c689fd299fee412d12446 1229346 doc optional matita-doc_0.5.8-2build2_all.deb
 0c754e5924a0742cc9cce938e3129cd5 5808566 math optional matita_0.5.8-2build2_i386.deb