Publishing details

• Published on 2023-04-25
• Copied from debian sid in Primary Archive for Debian GNU/Linux

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

Builds

Built packages

• lbt converts from LTL formulas to Büchi automata

• lbt-dbgsym debug symbols for lbt

Package files

• lbt-dbgsym_1.2.2-7_amd64.ddeb (199.7 KiB)
• lbt-dbgsym_1.2.2-7_arm64.ddeb (199.6 KiB)
• lbt-dbgsym_1.2.2-7_armhf.ddeb (196.8 KiB)
• lbt-dbgsym_1.2.2-7_ppc64el.ddeb (200.4 KiB)
• lbt-dbgsym_1.2.2-7_riscv64.ddeb (171.6 KiB)
• lbt-dbgsym_1.2.2-7_s390x.ddeb (318.2 KiB)
• lbt_1.2.2-7.debian.tar.xz (3.4 KiB)
• lbt_1.2.2-7.dsc (1.9 KiB)
• lbt_1.2.2-7_amd64.deb (29.3 KiB)
• lbt_1.2.2-7_arm64.deb (27.9 KiB)
• lbt_1.2.2-7_armhf.deb (25.6 KiB)
• lbt_1.2.2-7_ppc64el.deb (30.1 KiB)
• lbt_1.2.2-7_riscv64.deb (26.9 KiB)
• lbt_1.2.2-7_s390x.deb (32.5 KiB)
• lbt_1.2.2.orig.tar.gz (20.1 KiB)