» Ubuntu » Balíky » stonking » Zdroj » misc » vera++
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Zdrojový balík: vera++ (1.3.0-4) [universe]

Odkazy pre vera++

Zdroje Ubuntu:

Správca:

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

Original Maintainers (usually from Debian):

  • Package Salvaging Team
  • Vincent Hobeïka
  • Andreas Tille

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

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
vera++
Programmable verification and analysis tool for C++

Ostatné balíky súvisiace s balíkom vera++

  • build-depends
  • build-depends-indep
  • adep: debhelper-compat (= 13)
    Balík nie je dostupný
  • adep: libboost-dev
    Boost C++ Libraries development files (default version)
  • adep: tcl-dev
    Tool Command Language (default version) - development files
  • adep: libboost-wave-dev
    C99/C++ preprocessor library (default version)
  • adep: libboost-thread-dev
    portable C++ multi-threading (default version)
  • adep: libboost-program-options-dev
    program options library for C++ (default version)
  • adep: libboost-python-dev
    Boost.Python Library development files (default version)
  • adep: libboost-regex-dev
    regular expression library for C++ (default version)
  • adep: cmake
    cross-platform, open-source make system
  • adep: libpython3-dev
    header files and a static library for Python (default)
  • adep: tcl8.6-dev
    Tcl (the Tool Command Language) v8.6 - development files

Download vera++

SúborVeľkosť (v kB)kontrolný súčet MD5
vera++_1.3.0-4.dsc 2.1 kB 847947d34fe6888e8fc98c598afb68cb
vera++_1.3.0.orig.tar.gz 88.6 kB f702f0e99253c7410a02029e185df0a7
vera++_1.3.0-4.debian.tar.xz 19.4 kB 745d2494ea6e2ff68a769d9e8f043e54
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/salvage-team/vera.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/salvage-team/vera