Ubuntu
lbt package

lbt 1.2.2-7 source package in Ubuntu

Changelog

lbt (1.2.2-7) unstable; urgency=medium

  * Build-depend on debhelper-compat, drop debian/compat
  * Debhelper compatibility level 12 (no change)
  * Standards-version 4.5.0
    - debian/copyright: https in format url
    - Priority: extra => optional
  * Update Vcs-{Browser,Git} to salsa
  * Add Rules-Requires-Root: no
  * Drop debian/lbt.docs as documentation files are already installed by
    upstream's makefile

 -- Ralf Treinen <email address hidden>  Fri, 01 May 2020 11:03:19 +0200

Upload details

Uploaded by:
Debian Science Team
Uploaded to:
Sid
Original maintainer:
Debian Science Team
Architectures:
any
Section:
science
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Plucky release universe math
Oracular release universe math
Noble release universe math
Mantic release universe math
Lunar release universe math
Jammy release universe math

Downloads

File Size SHA-256 Checksum
lbt_1.2.2-7.dsc 1.9 KiB 8999a4afe1581f4d4c4b5ceb57a236e2d8646c23ff4d4a3c0cc3a69ed148273a
lbt_1.2.2.orig.tar.gz 20.1 KiB fac07a1bf87debace6eb20721f4b430ea511336a673ca31f4daf8bc9f39ac57a
lbt_1.2.2-7.debian.tar.xz 3.4 KiB 6a6a91c045ee59d19c88c36c431a19ad93dd5fd9b52d91342b31dc01f61bb42b

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: debug symbols for lbt