Source Package: lbt (1.2.2-5)
The following binary packages are built from this source package:
- lbt
- LTL 공식을 Büchi 오토마타로 변환
Other Packages Related to lbt
|
|
-
- adep: debhelper (>= 7.0)
- helper programs for debian/rules
Download lbt
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| lbt_1.2.2-5.dsc | 1.1 kB | 6f20a90ae7214271e823c694ec7a251b |
| lbt_1.2.2.orig.tar.gz | 20.1 kB | 4e3315451d465fd941e81822e53aa2a0 |
| lbt_1.2.2-5.debian.tar.gz | 2.8 kB | c6c2a6995a9c12a0ba886e360dcd4e07 |