все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: lbt (1.2.2-7)

Ссылки для lbt

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
lbt
converts from LTL formulas to Büchi automata

Другие пакеты, относящиеся к lbt

  • для сборки
  • build-depends-indep

Download lbt

ФайлРазмер (в Кб)Контрольная сумма MD5
lbt_1.2.2-7.dsc 1,9 Кб da86ce9abd0fb5213a46e63c723802ae
lbt_1.2.2.orig.tar.gz 20,1 Кб 4e3315451d465fd941e81822e53aa2a0
lbt_1.2.2-7.debian.tar.xz 3,4 Кб a76c2b57592200f49f9fb1c89a5baca5
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/science-team/lbt.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/science-team/lbt