Format: 1.7
Date: Tue, 18 Dec 2007 21:28:15 +0100
Source: spin
Binary: spin
Architecture: source
Version: 5.1.3-0ubuntu1~ppa1
Distribution: gutsy
Urgency: low
Maintainer: Pavel Rojtberg <pavel@madman2k.net>
Changed-By: Pavel Rojtberg <pavel@madman2k.net>
Description: 
 spin       - on-the-fly, ltl model checking
Changes: 
 spin (5.1.3-0ubuntu1~ppa1) gutsy; urgency=low
 .
   * New upstream release
Files: 
 f2b34d4c6315fc4c027fe35baa99db96 595 universe/science extra spin_5.1.3-0ubuntu1~ppa1.dsc
 04a4c0ccad395d0a91fdcc58e1ab643e 218132 universe/science extra spin_5.1.3.orig.tar.gz
 bd7b8ec6f774103c13b32008bb1de6be 1314 universe/science extra spin_5.1.3-0ubuntu1~ppa1.diff.gz