[ forky ] [ sid ]

Пакет исходного кода: btor2tools (1.0.2~git20250918.d33c73f-1)

Ссылки для btor2tools

Ресурсы Debian:

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

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

Сайт [github.com]

Из этого пакета исходного кода собираются следующие двоичные пакеты:

btor2tools: generic parser and tools for the BTOR2 format
libbtor2parser-dev: development lib for generic parser and tools for the BTOR2 format
libbtor2parser0: library for generic parser and tools for the BTOR2 format

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

для сборки

build-depends-indep

adep: debhelper-compat (= 13)

Пакет недоступен
adep: cmake

платформонезависимая система сборки с открытым исходным кодом
adep: d-shlibs

Debian shared library package building helper scripts

Download btor2tools

Файл	Размер (в Кб)	Контрольная сумма MD5
btor2tools_1.0.2~git20250918.d33c73f-1.dsc	2,2 Кб	6a9f13e7b381de3d78d56f1e9bf6bc64
btor2tools_1.0.2~git20250918.d33c73f.orig.tar.xz	61,2 Кб	c6795447a6295f0a67f9c52c6e2179b1
btor2tools_1.0.2~git20250918.d33c73f-1.debian.tar.xz	3,5 Кб	37fbb8128397e6d9a51497d7a02cdaeb

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/science-team/btor2tools.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/science-team/btor2tools