Back to lbt PTS page

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