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