» Ubuntu » Paquets » tenacious » libs » libbtor2parser0
[  stonking  ] [  tenacious  ]
[ Paquet source : btor2tools  ]

Paquet : libbtor2parser0 (1.0.3-1) [ports] [universe]

À propos

Screenshot

published in section universe

Ressources Ubuntu :

Source Package btor2tools:

Responsable :

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.

Ressources externes :

Paquets similaires :

library for generic parser and tools for the BTOR2 format

Autres paquets associés à libbtor2parser0

  • dépendances
  • recommandations
  • suggestions
  • enhances
  • dep: libc6 (>= 2.17)
    GNU C Library: Shared libraries

Télécharger libbtor2parser0

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
arm64 17,3 ko82,0 ko [liste des fichiers]