Back to lbt PTS page

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