-----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 <[email protected]> Changed-By: Ralf Treinen <[email protected]> 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-----
