eLxr packages

 / Pakiety / bianca (stable) / Źródło / - / lbt

[  bianca  ]

Odnośniki dla lbt

• Repozytorium kodu źródłowego Debiana (Git)
• Śledzenie łatek systemu eLxr

Opiekunowie:

• Debian Science Maintainers
• Ralf Treinen

Zasoby zewnętrzne:

• Strona internetowa [www.tcs.hut.fi]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

lbt

converts from LTL formulas to Büchi automata

Inne pakiety związane z lbt

build-depends

build-depends-indep

• adep: debhelper-compat (= 12)

  Pakiet niedostępny

Download lbt

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
lbt_1.2.2-7.debian.tar.xz	3,4 KiB	a76c2b57592200f49f9fb1c89a5baca5
lbt_1.2.2-7.dsc	1,9 KiB	da86ce9abd0fb5213a46e63c723802ae
lbt_1.2.2.orig.tar.gz	20,1 KiB	4e3315451d465fd941e81822e53aa2a0

Repozytorium kodu źródłowego Debiana (VCS: Git)

https://salsa.debian.org/science-team/lbt.git

Repozytorium kodu źródłowego Debiana (do przeglądania)

https://salsa.debian.org/science-team/lbt