-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.7 Date: Fri, 7 Jan 2005 20:13:25 +0100 Source: lbt Binary: lbt Architecture: source i386 Version: 1.2.2-1 Distribution: unstable Urgency: low Maintainer: Ralf Treinen <[EMAIL PROTECTED]> Changed-By: Ralf Treinen <[EMAIL PROTECTED]> Description: lbt - converts from LTL formulas to Büchi automata Changes: lbt (1.2.2-1) unstable; urgency=low . * New upstream release * Add debian/watch file * Short description starts on lowercase letter * Use dh_installchangelogs to install upstream changelog Files: 4e515a427ee0a785c766a6fb3da56ac3 546 math optional lbt_1.2.2-1.dsc 4e3315451d465fd941e81822e53aa2a0 20587 math optional lbt_1.2.2.orig.tar.gz 40ecaa656ceeb3d55a2dc5c4cf3d0e6b 1772 math optional lbt_1.2.2-1.diff.gz 74aaa90c227c27a826a2528545a5332c 29928 math optional lbt_1.2.2-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.5 (GNU/Linux) iD8DBQFB3t/stzWmSeC6BMERAg6cAKD15Lntd4Rr+IhS/379F+QALd4miwCg+Ja/ UGQaOe/MByqQjiysGI5NtyY= =6t7D -----END PGP SIGNATURE----- Accepted: lbt_1.2.2-1.diff.gz to pool/main/l/lbt/lbt_1.2.2-1.diff.gz lbt_1.2.2-1.dsc to pool/main/l/lbt/lbt_1.2.2-1.dsc lbt_1.2.2-1_i386.deb to pool/main/l/lbt/lbt_1.2.2-1_i386.deb lbt_1.2.2.orig.tar.gz to pool/main/l/lbt/lbt_1.2.2.orig.tar.gz -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
