Back to lbt PTS page

Accepted lbt 1.2.2-6 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 06 Dec 2016 20:25:48 +0100
Source: lbt
Binary: lbt
Architecture: source
Version: 1.2.2-6
Distribution: unstable
Urgency: medium
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-6) unstable; urgency=medium
 .
   * added debian/watch
   * debian/copyright: convert to machine-readable format 1.0
   * install docs in /usr/share/docs/lbt:
     - added debian/lbt.docs
     - changed file location in lbt.doc-base
     - dropped debian/lbt.dirs which is no longer useful
   * debian/rules: rewrite, using dh
   * debhelper compat level 10:
     - bump debian/compat
     - bump build-dependency on debhelper
   * standards-version 3.9.8 (no change)
   * added Vcs-{Git,Browser}fields
   * patch compiler-flags: honour CFLAGS and CXXFLAGS values passed to
     Makefile, use CPPFLAGS
   * add as-installed package test, using an example from the lbt manpage
Checksums-Sha1:
 ab53b4646e6eec81a153f21d4a90aee684dbc525 1937 lbt_1.2.2-6.dsc
 a49ef90dd6337f10f18639f401d028a37e229681 3436 lbt_1.2.2-6.debian.tar.xz
Checksums-Sha256:
 766964ad5412ee6f467f133e8bc5824d6148ace93e6c66ed8a9b6e95c6f250dc 1937 lbt_1.2.2-6.dsc
 e7c33f4f734e8d3ed066dc83600211a1d28deaf99e3a2fc722aed461efd766ff 3436 lbt_1.2.2-6.debian.tar.xz
Files:
 a1c60b2b0cd6772946f47ea55142a8a8 1937 science extra lbt_1.2.2-6.dsc
 3f58eb2464f59334c9ca2d7cc34aca51 3436 science extra lbt_1.2.2-6.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlhHE6EACgkQdFxHZtTK
zf8yCBAAgLIJe4N9wJuLDJljjZIHZcrqkJcszE0OYJwi5gXp4CfRKWEDyvJL2B71
d2fOgKD5/5Lz3j3wERRo0o1snFP7pq3lbu/RNpDupn+4Ck460D6UKqB1xd1w0I+n
Urekzv7SPIRuprLf59ckmjEqYFfjSSwRGY0NgThyYy0FIg4ylTYWTMpoWBE9fu/d
TONdJRYedBnqRER1xlsJ43apcrBQpgYFzIaQF+d+W8cBBLn/lbiFQYVF0ZOdkmvS
VOkqw+jc3Yi7deY8c2cdFUpk7yDzs8Aly8TF/D+024CKT2mD074DSGMuXb7hXSTW
bXfyq8vnNlmdCprzEY5TO3+olX0cVEosAuNVzKNIcwRWPGjw9JrLRN+ul8WcMI5f
KsHkzfS9UBRy/tIH39C8nuec+N8H2eELKXJDefrNN+x6VNI8nSCVTgSMktVzCpGU
QFGUyA7xhjW5aVgsqEhL9ydBEuwYyGUFaddcVPsnDR4H7qlJDndY5n2Dle31DnsT
Tz47H5dlrQ+3/q0W8BxbzF7N6KOtyWC3bEyc5MJyOrxd1LhjK97n/BiKq31ziRXr
VPRJPnsDdPZzH/DAbli6RfWcyTqd1f+lBvTolu44YzzTq3OFgMvVn+0Ip4K/EpyL
HVhgW7ftTd6MUR8x/0c//RK5fIQ8JLNK1HMJ/xJjZivsmZMcHZ0=
=GqwI
-----END PGP SIGNATURE-----