Format: 1.8
Date: Mon, 04 Jul 2011 08:28:10 +0000
Source: tapaal
Binary: tapaal
Architecture: i386
Version: 2.0-0~533~lucid1
Distribution: lucid
Urgency: low
Maintainer: Ubuntu Build Daemon <buildd@kutjera.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: 
 28028bd3004c4eaddc54efdc3e083e5caad1128d 1238898 tapaal_2.0-0~533~lucid1_i386.deb
Checksums-Sha256: 
 6c6967a340791f25ec130d48accdbead5d3c81b7c2494cc5e121e8e6169ce1ca 1238898 tapaal_2.0-0~533~lucid1_i386.deb
Files: 
 b351de5b8f27f726b29d8d2a15fa6430 1238898 utils extra tapaal_2.0-0~533~lucid1_i386.deb