» Ubuntu » Paket » stonking » Källkod » misc » vera++
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Källkodspaket: vera++ (1.3.0-4) [universe]

Länkar för vera++

Ubunturesurser:

Ansvarig:

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.

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
vera++
Programmable verification and analysis tool for C++

Andra paket besläktade med vera++

  • bygg-beroende
  • arkitekturoberoende bygg-beroende
  • adep: debhelper-compat (= 13)
    Paketet inte tillgängligt
  • 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++

FilStorlek (i kbyte)MD5-kontrollsumma
vera++_1.3.0-4.dsc 2,1 kbyte 847947d34fe6888e8fc98c598afb68cb
vera++_1.3.0.orig.tar.gz 88,6 kbyte f702f0e99253c7410a02029e185df0a7
vera++_1.3.0-4.debian.tar.xz 19,4 kbyte 745d2494ea6e2ff68a769d9e8f043e54
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/salvage-team/vera.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/salvage-team/vera