noms de paquets descriptions noms de paquets source contenu du paquet toutes les options

[  stonking  ] [  tenacious  ]

À propos

published in section universe

Ressources Ubuntu :

• Launchpad
• Rapports de bogues
• Publishing History
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

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

Original Maintainers (usually from Debian):

• Debian Science Maintainers (Archive du courrier électronique)
• Andreas Tille

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

Ressources externes :

• Page d'accueil [github.com]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

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

Autres paquets associés à btor2tools

build-depends

build-depends-indep

• adep: debhelper-compat (= 14)

  Paquet indisponible

• adep: cmake

  cross-platform, open-source make system

• adep: d-shlibs

  Debian shared library package building helper scripts

Download btor2tools

Fichier	Taille (en ko)	Somme MD5
btor2tools_1.0.3-1.dsc	2,1 ko	5226c3e2ad27480aa612a63bc31630e1
btor2tools_1.0.3.orig.tar.gz	86,1 ko	a541999bb0fd66809d7fd8e50c5c63e9
btor2tools_1.0.3-1.debian.tar.xz	3,4 ko	c1b8ffdbf247809c5e49806338a1be65

Dépôt Debian des paquets source (VCS: Git)

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

Dépôt Debian des paquets source (interface web)

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