Accepted lbt 1.2.2-1 (i386 source)
-----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 <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-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 debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org