Accepted lbt 1.2.2-2 (i386 source)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Wed, 6 Jul 2005 21:25:20 +0200
Source: lbt
Binary: lbt
Architecture: source i386
Version: 1.2.2-2
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-2) unstable; urgency=low
.
* Standards-version 3.6.2 (no change).
* Debhelper compatibility 4, put into file debian/compat.
* Recommends graphiz (instead of Suggests)
* Rebuild with gcc 4.
Files:
4197151314293ee7e2fe8f2ecdc318bb 542 math optional lbt_1.2.2-2.dsc
a55922aa67826891495897621b35cc2d 1870 math optional lbt_1.2.2-2.diff.gz
65c86884c8cfdf04cab5d03b84630f47 32382 math optional lbt_1.2.2-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFCzDI7tzWmSeC6BMERAj89AJ9pPcLx27HEI1aL7J9YNwJ2rYwHJgCg95rM
DhvhZaq6er1hTvdxojZcPZ4=
=ccL2
-----END PGP SIGNATURE-----
Accepted:
lbt_1.2.2-2.diff.gz
to pool/main/l/lbt/lbt_1.2.2-2.diff.gz
lbt_1.2.2-2.dsc
to pool/main/l/lbt/lbt_1.2.2-2.dsc
lbt_1.2.2-2_i386.deb
to pool/main/l/lbt/lbt_1.2.2-2_i386.deb
--
To UNSUBSCRIBE, email to debian-devel-changes-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org