Format: 1.8
Date: Mon, 04 Jul 2011 08:28:10 +0000
Source: tapaal
Binary: tapaal
Architecture: amd64
Version: 2.0-0~533~lucid1
Distribution: lucid
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@plutonium.ppa>
Changed-By: Launchpad Package Builder <noreply@launchpad.net>
Description: 
 tapaal     - Tool for verification of Timed-Arc Petri Net www.tapaal.net
Changes: 
 tapaal (2.0-0~533~lucid1) maverick; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 2cff4854a288cf4859ba470d5fc2e7cc2892c94d 1240414 tapaal_2.0-0~533~lucid1_amd64.deb
Checksums-Sha256: 
 5cd90027e460e9bbd9bc55161062f1c7c6a788545f229236197ee3159cfa7cbb 1240414 tapaal_2.0-0~533~lucid1_amd64.deb
Files: 
 a78d21e0e9a0fa8ed2ac6887db804632 1240414 utils extra tapaal_2.0-0~533~lucid1_amd64.deb