» Ubuntu » Paket » tenacious » libdevel » libbtor2parser-dev
[  stonking  ] [  tenacious  ]
[ Källkod: btor2tools  ]

Paket: libbtor2parser-dev (1.0.3-1) [ports] [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:

development lib for generic parser and tools for the BTOR2 format

Andra paket besläktade med libbtor2parser-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • dep: libbtor2parser0 (= 1.0.3-1)
    library for generic parser and tools for the BTOR2 format

Hämta libbtor2parser-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
arm64 19,0 kbyte72,0 kbyte [filförteckning]