w nazwach pakietów w opisach w nazwach pakietów źródłowych w zawartości pakietów wszystkie opcje

[  stonking  ] [  tenacious  ]

O

published in section universe

Zasoby systemu Ubuntu:

• Launchpad
• Raporty o błędach
• Publishing History
• Changelog
• Informacje nt. praw autorskich
• Repozytorium kodu źródłowego Debiana (Git)

Opiekun:

• Ubuntu MOTU Developers (Archiwum e-mail)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Archiwum e-mail)
• Andreas Tille

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

Zasoby zewnętrzne:

• Strona internetowa [github.com]

Z tego pakietu źródłowego zbudowano następujące pakiety binarne:

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

Inne pakiety związane z btor2tools

build-depends

build-depends-indep

• adep: debhelper-compat (= 14)

  Pakiet niedostępny

• adep: cmake

  cross-platform, open-source make system

• adep: d-shlibs

  Debian shared library package building helper scripts

Download btor2tools

Plik	Rozmiar (w KiB)	Suma kontrolna MD5
btor2tools_1.0.3-1.dsc	2,1 KiB	5226c3e2ad27480aa612a63bc31630e1
btor2tools_1.0.3.orig.tar.gz	86,1 KiB	a541999bb0fd66809d7fd8e50c5c63e9
btor2tools_1.0.3-1.debian.tar.xz	3,4 KiB	c1b8ffdbf247809c5e49806338a1be65

Repozytorium kodu źródłowego Debiana (VCS: Git)

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

Repozytorium kodu źródłowego Debiana (do przeglądania)

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