-----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
