имена на пакети описания имена на пакети-източници съдържание на пакети всички настройки

[  stonking  ] [  tenacious  ]

За сайта

published in section universe

Ресурси за Ubuntu:

• Launchpad
• Доклади за грешки
• Publishing History
• Changelog
• Авторски права
• Хранилище на изходен код (Git)

Отговорник:

• Ubuntu MOTU Developers (Пощенски архив)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Пощенски архив)
• Andreas Tille

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

Външни препратки:

• Начална страница [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

зависимости при компилиране

зависимости при компилиране (архитектурно-независими)

• adep: debhelper-compat (= 14)

  Пакетът не е наличен

• adep: cmake

  cross-platform, open-source make system

• adep: d-shlibs

  Debian shared library package building helper scripts

Download btor2tools

Файл	Големина (в кБ)	контролна сума MD5
btor2tools_1.0.3-1.dsc	2,1 кБ	5226c3e2ad27480aa612a63bc31630e1
btor2tools_1.0.3.orig.tar.gz	86,1 кБ	a541999bb0fd66809d7fd8e50c5c63e9
btor2tools_1.0.3-1.debian.tar.xz	3,4 кБ	c1b8ffdbf247809c5e49806338a1be65

Хранилище на изходния код на пакета (СКП: Git)

https://salsa.debian.org/science-team/btor2tools.git

Хранилище на изходния код на пакета (за разглеждане през браузър)

https://salsa.debian.org/science-team/btor2tools