Package - vera++

Package:  vera++
apt-get install vera++
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/v/vera++/vera++_1.2.1-2+b8_amd64.deb (Size: 133.5KiB)

PropertyValue
Packagevera++
Sourcevera++ (1.2.1-2)
Version1.2.1-2+b8
Installed-Size474
MaintainerVincent Hobeïka
Architectureamd64
Dependslibboost-program-options1.83.0 (>= 1.83.0), libboost-wave1.83.0 (>= 1.83.0), libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), libtcl8.6 (>= 8.6.0)
DescriptionProgrammable verification and analysis tool for C++
Description-md5b31d45d06bc7c2fd0f648bf12d2d5e05
Homepagehttps://bitbucket.org/verateam/vera/wiki/Home
Sectiondevel
Priorityoptional
Filenamepool/main/v/vera++/vera++_1.2.1-2+b8_amd64.deb
Size136672
MD5sumd2d90200cb174e7ede8d2a624851d605
SHA2564c8662e7a704eb27c5efc54edff2da591ffa4b037c01466f86468ef93a10a5e9

Files in package

  • /usr/bin/vera++
  • /usr/lib/vera++/profiles/CMakeLists.txt
  • /usr/lib/vera++/profiles/boost
  • /usr/lib/vera++/profiles/default
  • /usr/lib/vera++/profiles/full
  • /usr/lib/vera++/scripts/CMakeLists.txt
  • /usr/lib/vera++/scripts/rules/CMakeLists.txt
  • /usr/lib/vera++/scripts/rules/DUMP.tcl
  • /usr/lib/vera++/scripts/rules/F001.tcl
  • /usr/lib/vera++/scripts/rules/F002.tcl
  • /usr/lib/vera++/scripts/rules/L001.tcl
  • /usr/lib/vera++/scripts/rules/L002.tcl
  • /usr/lib/vera++/scripts/rules/L003.tcl
  • /usr/lib/vera++/scripts/rules/L004.tcl
  • /usr/lib/vera++/scripts/rules/L005.tcl
  • /usr/lib/vera++/scripts/rules/L006.tcl
  • /usr/lib/vera++/scripts/rules/T001.tcl
  • /usr/lib/vera++/scripts/rules/T002.tcl
  • /usr/lib/vera++/scripts/rules/T003.tcl
  • /usr/lib/vera++/scripts/rules/T004.tcl
  • /usr/lib/vera++/scripts/rules/T005.tcl
  • /usr/lib/vera++/scripts/rules/T006.tcl
  • /usr/lib/vera++/scripts/rules/T007.tcl
  • /usr/lib/vera++/scripts/rules/T008.tcl
  • /usr/lib/vera++/scripts/rules/T009.tcl
  • /usr/lib/vera++/scripts/rules/T010.tcl
  • /usr/lib/vera++/scripts/rules/T011.tcl
  • /usr/lib/vera++/scripts/rules/T012.tcl
  • /usr/lib/vera++/scripts/rules/T013.tcl
  • /usr/lib/vera++/scripts/rules/T014.tcl
  • /usr/lib/vera++/scripts/rules/T015.tcl
  • /usr/lib/vera++/scripts/rules/T016.tcl
  • /usr/lib/vera++/scripts/rules/T017.tcl
  • /usr/lib/vera++/scripts/rules/T018.tcl
  • /usr/lib/vera++/scripts/rules/T019.tcl
  • /usr/lib/vera++/scripts/transformations/CMakeLists.txt
  • /usr/lib/vera++/scripts/transformations/move_includes.tcl
  • /usr/lib/vera++/scripts/transformations/move_macros.tcl
  • /usr/lib/vera++/scripts/transformations/move_namespace.tcl
  • /usr/lib/vera++/scripts/transformations/to_lower.tcl
  • /usr/lib/vera++/scripts/transformations/to_xml.tcl
  • /usr/lib/vera++/scripts/transformations/to_xml2.tcl
  • /usr/lib/vera++/scripts/transformations/trim_right.tcl
  • /usr/lib/vera++/test_wrapper.cmake.in
  • /usr/lib/vera++/use_vera++.cmake
  • /usr/lib/vera++/vera++-config-version.cmake
  • /usr/lib/vera++/vera++-config.cmake
  • /usr/share/doc/vera++/changelog.Debian.amd64.gz
  • /usr/share/doc/vera++/changelog.Debian.gz
  • /usr/share/doc/vera++/copyright
  • /usr/share/doc/vera++/doc/CMakeLists.txt
  • /usr/share/doc/vera++/doc/manpage.md
  • /usr/share/doc/vera++/doc/style.css
  • /usr/share/man/man1/vera++.1.gz