Back to lbt PTS page

Accepted lbt 1.2.2-3 (source i386)



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

Format: 1.7
Date: Wed,  3 Aug 2005 09:47:21 +0200
Source: lbt
Binary: lbt
Architecture: source i386
Version: 1.2.2-3
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
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: 
 d7ddf96153a49d9bb5018858be795341 542 math optional lbt_1.2.2-3.dsc
 893cf4812c22f3369e34bfc68756f970 2062 math optional lbt_1.2.2-3.diff.gz
 ced216a6d6357745ec8a0b0f4290a627 33148 math optional lbt_1.2.2-3_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)

iD8DBQFC8JFvtzWmSeC6BMERAnwvAJ9ul6X7t72Uchik1ItqTk1wy6w0KQCg127D
KBR9H0KwSoEOUNR3omW4fdY=
=FOqF
-----END PGP SIGNATURE-----


Accepted:
lbt_1.2.2-3.diff.gz
  to pool/main/l/lbt/lbt_1.2.2-3.diff.gz
lbt_1.2.2-3.dsc
  to pool/main/l/lbt/lbt_1.2.2-3.dsc
lbt_1.2.2-3_i386.deb
  to pool/main/l/lbt/lbt_1.2.2-3_i386.deb


-- 
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org