» Ubuntu » Paket » questing (25.10) » Källkod » math » lbt
[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Källkodspaket: lbt (1.2.2-7) [universe]

Länkar för lbt

Ubunturesurser:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (E-postarkiv)
  • Ralf Treinen

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
lbt
converts from LTL formulas to Büchi automata

Andra paket besläktade med lbt

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • adep: debhelper-compat (= 12)
    Paketet inte tillgängligt

Download lbt

FilStorlek (i kbyte)MD5-kontrollsumma
lbt_1.2.2-7.dsc 1,9 kbyte da86ce9abd0fb5213a46e63c723802ae
lbt_1.2.2.orig.tar.gz 20,1 kbyte 4e3315451d465fd941e81822e53aa2a0
lbt_1.2.2-7.debian.tar.xz 3,4 kbyte a76c2b57592200f49f9fb1c89a5baca5
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/science-team/lbt.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/science-team/lbt