-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 13 May 2011 08:50:40 +0200
Source: lbt
Binary: lbt
Architecture: source amd64
Version: 1.2.2-5
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
lbt - converts from LTL formulas to Büchi automata
Changes:
lbt (1.2.2-5) unstable; urgency=low
.
* debian-control:
- set Maintainer to debian-science
- set Section to science
- set Prioriy to extra
- Standards-Version 3.9.2 (no change)
- add Dependency on ${misc:Depends}
* migrate to source format 3.0 (quilt)
* rename debian/dirs to debian/lbt.dirs
* manpage for lbt2dot is symlink to lbt.1
* simplify call to dh_installchangelogs
Checksums-Sha1:
b623bad15c6a764b534ce95549e47da391a6233e 1084 lbt_1.2.2-5.dsc
3eb08a2ffd5cc62af9923f86a9f1668679f96d96 2875 lbt_1.2.2-5.debian.tar.gz
ed99f8d82a7b238bfb46f3049f97c4af3d522830 34226 lbt_1.2.2-5_amd64.deb
Checksums-Sha256:
33b5f29862883d8459d76fa20bd669395eaf1fdfee5810ac91b6ae5455eb3740 1084 lbt_1.2.2-5.dsc
4fce6031eba4a115d3542255f26648f15807de32473994684b1670790c4618a4 2875 lbt_1.2.2-5.debian.tar.gz
293b7cbfb505bbcf44c76090e93bf059e5355775e428c10254c4382556d4b963 34226 lbt_1.2.2-5_amd64.deb
Files:
6f20a90ae7214271e823c694ec7a251b 1084 science extra lbt_1.2.2-5.dsc
c6c2a6995a9c12a0ba886e360dcd4e07 2875 science extra lbt_1.2.2-5.debian.tar.gz
faec0d7e13cdf0199385425db0c88d8c 34226 science extra lbt_1.2.2-5_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3M6MUACgkQtzWmSeC6BMGbaQCfSWxFqmxpDT886p3Of8kcU0sQ
ll0An3NB01LdF10XcES+tO1kwqGgdbYy
=SdYa
-----END PGP SIGNATURE-----
Accepted:
lbt_1.2.2-5.debian.tar.gz
to main/l/lbt/lbt_1.2.2-5.debian.tar.gz
lbt_1.2.2-5.dsc
to main/l/lbt/lbt_1.2.2-5.dsc
lbt_1.2.2-5_amd64.deb
to main/l/lbt/lbt_1.2.2-5_amd64.deb
