全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

源码包:lbt(1.2.2-6)

lbt 的相关链接

Debian 的资源:

维护小组:

外部的资源:

本源码包构建了以下这些二进制包:
lbt
converts from LTL formulas to Büchi automata

其他与 lbt 有关的软件包

  • 构建架构特定包依赖
  • 构建架构独立包依赖

Download lbt

文件大小(单位:kB)MD5 校验码
lbt_1.2.2-6.dsc 1.9 kB a1c60b2b0cd6772946f47ea55142a8a8
lbt_1.2.2.orig.tar.gz 20.1 kB 4e3315451d465fd941e81822e53aa2a0
lbt_1.2.2-6.debian.tar.xz 3.4 kB 3f58eb2464f59334c9ca2d7cc34aca51
Debian 软件包源码仓库(VCSGit
https://anonscm.debian.org/git/debian-science/packages/lbt.git
Debian 软件包源码仓库(可在线浏览)
https://anonscm.debian.org/cgit/debian-science/packages/lbt.git