Format: 1.8
Date: Sat, 02 Jul 2011 08:21:57 +0000
Source: tapaal
Binary: tapaal
Architecture: source
Version: 2.0-0~533~maverick1
Distribution: maverick
Urgency: low
Maintainer: Kenneth Yrke Jørgensen <mail@yrke.dk>
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~maverick1) maverick; urgency=low
 .
   * Auto build.
Checksums-Sha1: 
 f2728c598a3d75679c564dcc1596607445786e66 525 tapaal_2.0-0~533~maverick1.dsc
 a9779779f367568917d1eaccd3702b4e094b1b77 988724 tapaal_2.0-0~533~maverick1.tar.gz
Checksums-Sha256: 
 b10a898fbf25d9a531aa51c2bb3ee7ba434edc878193d977cde6e7ffc3878cbe 525 tapaal_2.0-0~533~maverick1.dsc
 1a2041f60a5e56e14152d65990af34fe19d5823fd39b7dd7f7de5979e47f0c6a 988724 tapaal_2.0-0~533~maverick1.tar.gz
Files: 
 f41338ab05c067005476feb8f7fac6d4 525 utils extra tapaal_2.0-0~533~maverick1.dsc
 91df9118537b5f7228ced9bcffeee331 988724 utils extra tapaal_2.0-0~533~maverick1.tar.gz