-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Wed, 6 Jul 2005 21:25:20 +0200 Source: lbt Binary: lbt Architecture: source i386 Version: 1.2.2-2 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 Changes: 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: 4197151314293ee7e2fe8f2ecdc318bb 542 math optional lbt_1.2.2-2.dsc a55922aa67826891495897621b35cc2d 1870 math optional lbt_1.2.2-2.diff.gz 65c86884c8cfdf04cab5d03b84630f47 32382 math optional lbt_1.2.2-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFCzDI7tzWmSeC6BMERAj89AJ9pPcLx27HEI1aL7J9YNwJ2rYwHJgCg95rM DhvhZaq6er1hTvdxojZcPZ4= =ccL2 -----END PGP SIGNATURE----- Accepted: lbt_1.2.2-2.diff.gz to pool/main/l/lbt/lbt_1.2.2-2.diff.gz lbt_1.2.2-2.dsc to pool/main/l/lbt/lbt_1.2.2-2.dsc lbt_1.2.2-2_i386.deb to pool/main/l/lbt/lbt_1.2.2-2_i386.deb -- To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
