Accepted lbt 1.2.2-1 (source)

[Ubuntu Archive Auto-Sync]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Origin: Debian/unstable
Format: 1.7
Date: Wed,  13 Apr 2005 14:59:13 +0100
Source: lbt
Binary: lbt
Architecture: source
Version: 1.2.2-1
Distribution: breezy
Urgency: low
Maintainer: Ralf Treinen <treinen at debian.org>
Changed-By: Ubuntu Archive Auto-Sync <katie at jackass.ubuntu.com>
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: 
 4e3315451d465fd941e81822e53aa2a0 20587 math optional lbt_1.2.2.orig.tar.gz
 4e515a427ee0a785c766a6fb3da56ac3 546 math optional lbt_1.2.2-1.dsc
 40ecaa656ceeb3d55a2dc5c4cf3d0e6b 1772 math optional lbt_1.2.2-1.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iQEVAwUBQl0lsQF4adwMEr3XAQIxnggAmXlzx78xiSCpI3rsNZY021FbW4pwOv/0
V7Vl1tlWIr0YjqSYVNRR5aUsuH4UDE0mbB57iAfGjLoycmgTR3p6qyU92iMZEeuy
ROZSLZMhytFWnj98uApECtrNnQN5e2FPLp0J/LUAVGy80EJumAie5TZWWfI9xgV0
q0T40ImJ4/4YaUA2Rbq+HJMHd8Q0o1Tgi/Z6OeSgWkPPVnVaDpoKJEcCRICK4pv8
V/Vd5JSadq+yWyCaNKjAyby75yV5VK/DGWb589GqkXMZ1sT3Fz0nriESsxIotTTA
1oPs09ES+XGNtC+xKVqNSCTSJcv/KS8NDtL05BdF3MuS9vZ9mvN4Xg==
=HiA/
-----END PGP SIGNATURE-----


Accepted:
lbt_1.2.2-1.diff.gz
  to pool/universe/l/lbt/lbt_1.2.2-1.diff.gz
lbt_1.2.2-1.dsc
  to pool/universe/l/lbt/lbt_1.2.2-1.dsc
lbt_1.2.2.orig.tar.gz
  to pool/universe/l/lbt/lbt_1.2.2.orig.tar.gz