» Ubuntu » Balíky » tenacious » libdevel » libbtor2parser-dev
[  stonking  ] [  tenacious  ]
[ Zdroj: btor2tools  ]

Balík: libbtor2parser-dev (1.0.3-1) [ports] [universe]

O Debiane

Screenshot

published in section universe

Zdroje Ubuntu:

Source Package btor2tools:

Správca:

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

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (Konferencia)
  • Andreas Tille

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

Externé zdroje:

Podobné balíky:

development lib for generic parser and tools for the BTOR2 format

Ostatné balíky súvisiace s balíkom libbtor2parser-dev

  • závisí
  • odporúča
  • navrhuje
  • enhances
  • dep: libbtor2parser0 (= 1.0.3-1)
    library for generic parser and tools for the BTOR2 format

Stiahnuť libbtor2parser-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
arm64 19.0 kB72.0 kB [zoznam súborov]