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