Back to lbt PTS page

Accepted lbt 1.2.1-2 (i386 source)



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

Format: 1.7
Date: Sun,  7 Sep 2003 15:29:11 +0200
Source: lbt
Binary: lbt
Architecture: source i386
Version: 1.2.1-2
Distribution: unstable
Urgency: low
Maintainer: Ralf Treinen <treinen@debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 lbt        - Converter of LTL formulas to Büchi automata
Changes: 
 lbt (1.2.1-2) unstable; urgency=low
 .
   * Standards-Version 3.6.1.0
   * Converted debian/{changelog,copyright,control,lbt.doc-base} to UTF-8
     characer encoding
   * Fixed a spelling error in short description (Buechi)
   * removed empty file debian/docs
Files: 
 7544b3c1d126b09ea80de4089853ba10 546 math optional lbt_1.2.1-2.dsc
 0002123c9e32514715416e2b62292484 1696 math optional lbt_1.2.1-2.diff.gz
 91061c97fc88116346ab1900f592531d 27466 math optional lbt_1.2.1-2_i386.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQE/WzeRtzWmSeC6BMERAgvEAJ49MqfpAy4hZ6iv5UPh50cwFwiMXQCgzA2Z
MAqV06mOUf4x+BWPEqZiMEk=
=ptbs
-----END PGP SIGNATURE-----


Accepted:
lbt_1.2.1-2.diff.gz
  to pool/main/l/lbt/lbt_1.2.1-2.diff.gz
lbt_1.2.1-2.dsc
  to pool/main/l/lbt/lbt_1.2.1-2.dsc
lbt_1.2.1-2_i386.deb
  to pool/main/l/lbt/lbt_1.2.1-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