-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Sun, 7 Sep 2003 15:29:11 +0200 Source: lbt Binary: lbt Architecture: source i386 Version: 1.2.1-2 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> Description: lbt - Converter of LTL formulas to Büchi automata Changes: lbt (1.2.1-2) unstable; urgency=low . * Standards-Version 3.6.1.0 * Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8 characer encoding * Fixed a spelling error in short description (Buechi) * removed empty file debian/docs Files: 7544b3c1d126b09ea80de4089853ba10 546 math optional lbt_1.2.1-2.dsc 0002123c9e32514715416e2b62292484 1696 math optional lbt_1.2.1-2.diff.gz 91061c97fc88116346ab1900f592531d 27466 math optional lbt_1.2.1-2_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/WzeRtzWmSeC6BMERAgvEAJ49MqfpAy4hZ6iv5UPh50cwFwiMXQCgzA2Z MAqV06mOUf4x+BWPEqZiMEk= =ptbs -----END PGP SIGNATURE----- Accepted: lbt_1.2.1-2.diff.gz to pool/main/l/lbt/lbt_1.2.1-2.diff.gz lbt_1.2.1-2.dsc to pool/main/l/lbt/lbt_1.2.1-2.dsc lbt_1.2.1-2_i386.deb to pool/main/l/lbt/lbt_1.2.1-2_i386.deb -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]