eLxr packages

 / Пакети / bianca (stable) / Източник / - / lbt

[  bianca  ]

Връзки за lbt

• Хранилище на изходен код (Git)
• Управление на кръпките в eLxr

Отговорници:

• Debian Science Maintainers
• Ralf Treinen

Външни препратки:

• Начална страница [www.tcs.hut.fi]

Следните двоични пакети са компилирани от този пакет-източник:

lbt

converts from LTL formulas to Büchi automata

Други пакети, свързани с lbt

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

• adep: debhelper-compat (= 12)

  Пакетът не е наличен

Download lbt

Файл	Големина (в кБ)	контролна сума MD5
lbt_1.2.2-7.debian.tar.xz	3,4 кБ	a76c2b57592200f49f9fb1c89a5baca5
lbt_1.2.2-7.dsc	1,9 кБ	da86ce9abd0fb5213a46e63c723802ae
lbt_1.2.2.orig.tar.gz	20,1 кБ	4e3315451d465fd941e81822e53aa2a0

Хранилище на изходния код на пакета (СКП: Git)

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

Хранилище на изходния код на пакета (за разглеждане през браузър)

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