vera++ (1.2.1-2build12)
2 versions available in ubuntu/resolute/universe/riscv64
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-resolute-ports
- Repository
- https://ports.ubuntu.com
- Codename
- resolute
- Component
- universe
- Source
- vera++
- Architecture
- riscv64
- Section
- universe/devel
- Priority
- extra
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 422.9 kB
- Size expected
- 143.3 kB
- Size actual
- 143.3 kB
- Size match
- match
Dependencies
Required package dependencies
- libboost-program-options1.88.0 (>= 1.88.0)
- libboost-wave1.88.0 (>= 1.88.0)
- libc6 (>= 2.34)
- libgcc-s1 (>= 3.0)
- libstdc++6 (>= 13.1)
- libtcl8.6 (>= 8.6.0)
Recommends
Recommended package dependencies
- None
Suggested packages
Recommended additional packages
- None
Provides
Virtual packages provided
- None
Description
Programmable verification and analysis tool for C++
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 0db0b2c9…c6918e4d | match |
| SHA-1 | a5f89b32…469c53d9 | match |
| SHA-256 | 4f74f174…2fb9bdad | match |
| SHA-512 | 4083e0ed…6cf4281c | match |
Contents
Files and directories included
. usr usr/bin usr/bin/vera++ usr/lib usr/lib/vera++ usr/lib/vera++/profiles 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 usr/lib/vera++/scripts/CMakeLists.txt usr/lib/vera++/scripts/rules 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 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 usr/share/doc usr/share/doc/vera++ usr/share/doc/vera++/changelog.Debian.gz usr/share/doc/vera++/copyright usr/share/doc/vera++/doc usr/share/doc/vera++/doc/CMakeLists.txt usr/share/doc/vera++/doc/manpage.md usr/share/doc/vera++/doc/style.css usr/share/man usr/share/man/man1 usr/share/man/man1/vera++.1.gz
Versions
2 versions in this repository slot, newest first