Accepted lbt 1.2.2-3 (source)

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Origin: Debian/unstable
Format: 1.7
Date: Tue,  25 Oct 2005 02:54:32 +0100
Source: lbt
Binary: lbt
Architecture: source
Version: 1.2.2-3
Distribution: dapper
Urgency: low
Maintainer: Ralf Treinen <treinen at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
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.
 .
 lbt (1.2.2-2) unstable; urgency=low
 .
   * Standards-version 3.6.2 (no change).
   * Debhelper compatibility 4, put into file debian/compat.
   * Recommends graphiz (instead of Suggests)
   * Rebuild with gcc 4.
Files: 
 893cf4812c22f3369e34bfc68756f970 2062 math optional lbt_1.2.2-3.diff.gz
 d7ddf96153a49d9bb5018858be795341 542 math optional lbt_1.2.2-3.dsc
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)

iQEVAwUBQ12QWAF4adwMEr3XAQIfwQgAjdFvcDdSlZikI3que29vPqup5r2pFwid
rivdXA8LozRVMomu+29g1QwGMjcfQxDktvZbbpHMOObGvQ7DnY8jLP8l4eILN2Ma
0mljyYl9b2ThG4HXezjOoyloKECX80JJX7Kdqe+5OwSWUTlmR0wNSV592Z5jeVGK
UXPahzXTNnu1lRDQWRmtEL9D6IogeI7T9EDOnzd6tJI3LvP51LjJYAFlT2OH8YaB
eHXEhScCs6f8yTqGmyVBtknuGHm+a01VeYoLYuR7OlaHXcfk0HGAaaOfwErJ9GuQ
V5bUFTsEJL36htDjzHKxiNo5CfOSsa8snJQlG+BNjrWftxke/mALsw==
=a65J
-----END PGP SIGNATURE-----


Accepted:
lbt_1.2.2-3.diff.gz
  to pool/universe/l/lbt/lbt_1.2.2-3.diff.gz
lbt_1.2.2-3.dsc
  to pool/universe/l/lbt/lbt_1.2.2-3.dsc