Format: 1.7
Date: Wed,  3 Aug 2005 09:47:21 +0200
Source: lbt
Binary: lbt
Architecture: interix-i386
Version: 1.2.2-3
Distribution: unstable
Urgency: low
Maintainer: Martin Koeppe <mkoeppe@gmx.de>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 lbt        - converts from LTL formulas to Büchi automata
Closes: 320691
Changes: 
 lbt (1.2.2-3) unstable; urgency=low
 .
   * Compile with -O3 instad of -O2 on m68 to work around a gcc-4.0 bug on
     m68k (closes: Bug#320691).
   * Compile with "-O0" when "noopt" is in DEB_BUILD_OPTIONS.
Files: 
 efdf1db3be4ce8d59f587fae08a03db0 32548 math optional lbt_1.2.2-3_interix-i386.deb