Accepted lbt 1.2.2-4 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 30 Aug 2009 20:19:51 +0200
Source: lbt
Binary: lbt
Architecture: source amd64
Version: 1.2.2-4
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
Closes: 466458
Changes:
lbt (1.2.2-4) unstable; urgency=low
.
* debian/lbt.doc-base: Change field descriptor "Authors" to "Author"
(closes: Bug#466458).
* debian/rules: do not ignore errors of "make clean".
* Standards-Version 3.8.3
* debian/control: added Homepage field.
* debhelper compatibility level 7.
- debian/rules: dh_clean -k => dh_prep
* debian/copyright:
- add a proper copyright notice.
- point to GPL-2 file instead file of just GPL file.
* Changed doc-base section to Science/Mathematics
Checksums-Sha1:
b148392b8300d16db7c95c26387da2817eacdc8d 958 lbt_1.2.2-4.dsc
d1df97c85b53489ac7a6c4e49cf69b3061d2fb14 2336 lbt_1.2.2-4.diff.gz
3bf84b5152d4a4b7b44a55828ed91d3d980e0285 33934 lbt_1.2.2-4_amd64.deb
Checksums-Sha256:
5c8c54b788dd07860ef99a43406c0d51727f1b5d48e123a141ce502fbba3692e 958 lbt_1.2.2-4.dsc
f88619f646db5905ff92e1f44b0b9b79c41baaa22ecf76c657a6b1f69e5a3626 2336 lbt_1.2.2-4.diff.gz
da396f5b786aff87e4b643efd4dfba1e7bc1574d9637a68afab0cbf5b5feba44 33934 lbt_1.2.2-4_amd64.deb
Files:
ae6b6040fdd7252836950facac9c7628 958 math optional lbt_1.2.2-4.dsc
66f9bbd6ef4f3ddbce20770c6dc238c0 2336 math optional lbt_1.2.2-4.diff.gz
43bc1efaaecda090498c51bc4c15cf69 33934 math optional lbt_1.2.2-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iD8DBQFKmsx7tzWmSeC6BMERAsngAKDnN4XW4WFSyHeRbYrYnPzeo6Z61QCfbx/G
pVmCQ7g01UvA+V61MFidFEo=
=E1Ef
-----END PGP SIGNATURE-----
Accepted:
lbt_1.2.2-4.diff.gz
to pool/main/l/lbt/lbt_1.2.2-4.diff.gz
lbt_1.2.2-4.dsc
to pool/main/l/lbt/lbt_1.2.2-4.dsc
lbt_1.2.2-4_amd64.deb
to pool/main/l/lbt/lbt_1.2.2-4_amd64.deb