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

Reply via email to