Accepted lbt 1.2.2-1build1 (source)
Matthias Klose
doko at ubuntu.com
Tue Jun 28 04:32:09 CDT 2005
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.7
Date: Tue, 28 Jun 2005 08:33:39 +0000
Source: lbt
Binary: lbt
Architecture: source
Version: 1.2.2-1build1
Distribution: breezy
Urgency: low
Maintainer: Ralf Treinen <treinen at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
lbt - converts from LTL formulas to Büchi automata
Changes:
lbt (1.2.2-1build1) breezy; urgency=low
.
* Rebuild for new C++ ABI
Files:
09021356f28212b750772a64d7468d5f 558 math optional lbt_1.2.2-1build1.dsc
bae4afd6fabd23d638bffe19fcac272c 1846 math optional lbt_1.2.2-1build1.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.1 (GNU/Linux)
iD8DBQFCwRnvStlRaw+TLJwRAsrWAKC2bILTpPiliSjmCiMGSgPIJ7cCBwCfaDLo
emArokaoHI/lEOHHCGvGyBw=
=nNmp
-----END PGP SIGNATURE-----
Accepted:
lbt_1.2.2-1build1.diff.gz
to pool/universe/l/lbt/lbt_1.2.2-1build1.diff.gz
lbt_1.2.2-1build1.dsc
to pool/universe/l/lbt/lbt_1.2.2-1build1.dsc
More information about the breezy-changes
mailing list