» Ubuntu » Paket » tenacious » libs » libbtor2parser0
[  stonking  ] [  tenacious  ]
[ Källkod: btor2tools  ]

Paket: libbtor2parser0 (1.0.3-1) [universe]

Om

Screenshot

published in section universe

Ubunturesurser:

Source Package btor2tools:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (E-postarkiv)
  • Andreas Tille

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

Externa resurser:

Liknande paket:

library for generic parser and tools for the BTOR2 format

Andra paket besläktade med libbtor2parser0

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • dep: libc6 (>= 2.14)
    GNU C Library: Shared libraries

Hämta libbtor2parser0

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 16,9 kbyte54,0 kbyte [filförteckning]