Publishing details

• Built by recipe auto-packaging-trunk-daily for TAPAAL Packaging
• Published on 2011-07-04

Changelog

tapaal (2.0-0~533~lucid1) maverick; urgency=low

  * Auto build.
 -- Launchpad Package Builder <email address hidden>   Mon, 04 Jul 2011 08:28:10 +0000

Builds

• amd64
• i386

Built packages

• tapaal Tool for verification of Timed-Arc Petri Net www.tapaal.net

Package files

• tapaal_2.0-0~533~lucid1.dsc (513 bytes)
• tapaal_2.0-0~533~lucid1.tar.gz (954.9 KiB)
• tapaal_2.0-0~533~lucid1_amd64.deb (1.2 MiB)
• tapaal_2.0-0~533~lucid1_i386.deb (1.2 MiB)