» Ubuntu » 套件 » tenacious » libdevel » libbtor2parser-dev
[  stonking  ] [  tenacious  ]
[ 原始碼: btor2tools  ]

套件: libbtor2parser-dev (1.0.3-1) [universe]

關於

Screenshot

published in section universe

Ubuntu 的資源:

Source Package btor2tools:

維護者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

外部的資源:

相似套件:

development lib for generic parser and tools for the BTOR2 format

其他與 libbtor2parser-dev 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • dep: libbtor2parser0 (= 1.0.3-1)
    library for generic parser and tools for the BTOR2 format

下載 libbtor2parser-dev

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 18.3 kB69.0 kB [文件列表]
arm64 19.0 kB72.0 kB [文件列表]
armhf 19.3 kB53.0 kB [文件列表]
ppc64el 23.5 kB99.0 kB [文件列表]
riscv64 60.8 kB464.0 kB [文件列表]
s390x 19.4 kB75.0 kB [文件列表]