lbt 1.2.2-6 source package in Ubuntu


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

 -- Ralf Treinen <email address hidden>  Tue, 06 Dec 2016 20:25:48 +0100

Upload details

Uploaded by:
Debian Science Team on 2016-12-06
Uploaded to:
Original maintainer:
Debian Science Team
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release on 2019-10-18 universe math
Eoan release on 2019-04-18 universe math
Disco release on 2018-10-30 universe math
Cosmic release on 2018-05-01 universe math
Bionic release on 2017-10-24 universe math
Artful release on 2017-04-20 universe math


File Size SHA-256 Checksum
lbt_1.2.2-6.dsc 1.9 KiB 766964ad5412ee6f467f133e8bc5824d6148ace93e6c66ed8a9b6e95c6f250dc
lbt_1.2.2.orig.tar.gz 20.1 KiB fac07a1bf87debace6eb20721f4b430ea511336a673ca31f4daf8bc9f39ac57a
lbt_1.2.2-6.debian.tar.xz 3.4 KiB e7c33f4f734e8d3ed066dc83600211a1d28deaf99e3a2fc722aed461efd766ff

Available diffs

No changes file available.

Binary packages built by this source

lbt: converts from LTL formulas to Büchi automata

 This software converts a linear temporal logic (ltl) formula to a
 generalised Büchi automaton. The resulting automaton may be used, for
 instance, in model checking, where it represents a property to be
 verified from a model (e.g. a Petri net).

lbt-dbgsym: No summary available for lbt-dbgsym in ubuntu zesty.

No description available for lbt-dbgsym in ubuntu zesty.