-----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
