» Ubuntu » Pakete » tenacious » libs » libbtor2parser0
[  stonking  ] [  tenacious  ]
[ Quellcode: btor2tools  ]

Paket: libbtor2parser0 (1.0.3-1) [universe]

Über

Screenshot

published in section universe

Ubuntu-Ressourcen:

Source Package btor2tools:

Betreuer:

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.

Externe Ressourcen:

Ähnliche Pakete:

library for generic parser and tools for the BTOR2 format

Andere Pakete mit Bezug zu libbtor2parser0

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    dep: libc6 (>= 2.17) [arm64]
    dep: libc6 (>= 2.27) [riscv64]
    dep: libc6 (>= 2.32) [ppc64el]
    dep: libc6 (>= 2.4) [armhf, s390x]

libbtor2parser0 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
amd64 16,9 kB54,0 kB [Liste der Dateien]
arm64 17,3 kB82,0 kB [Liste der Dateien]
armhf 17,0 kB81,0 kB [Liste der Dateien]
ppc64el 21,6 kB81,0 kB [Liste der Dateien]
riscv64 18,9 kB50,0 kB [Liste der Dateien]
s390x 17,6 kB53,0 kB [Liste der Dateien]