vera++_1.2.1-2+b5_amd64.deb


Advertisement

Description

vera++ - Programmable verification and analysis tool for C++

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name vera++
Package version 1.2.1
Package release 2+b5
Package architecture amd64
Package type deb
Installed size 482 B
Download size 127.85 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
vera++_1.2.1-2+b5_i386.deb 1.2.1 i386 Debian Main
vera++ - - -

Requires

Name Value
libboost wave1.67.0
libboost system1.67.0
libboost serialization1.67.0
libboost chrono1.67.0
libboost filesystem1.67.0
libboost atomic1.67.0
libboost thread1.67.0
libboost-date time1.67.0
libboost-program options1.67.0
libc6 >= 2.14
libgcc1 >= 1:3.0
libstdc++6 >= 5.2
libtcl8.6 >= 8.6.0

Download

Type URL
Binary Package vera++_1.2.1-2+b5_amd64.deb
Source Package vera++

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install vera++ deb package:
    # sudo apt-get install vera++

Files

Path
/usr/bin/vera++
/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/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/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

Changelog

2014-02-04 - Vincent Hobeïka <vincent.hobeika@gmail.com>
vera++ (1.2.1-2) unstable; urgency=low
* Removed dependency to pandoc which prevents migration to testing
2013-10-21 - Vincent Hobeïka <vincent.hobeika@gmail.com>
vera++ (1.2.1-1) unstable; urgency=low
* Fixed watch files
* Fixed homepage url (Closes: #709195)
* Updated dependencies
* Updated standards-version to 3.9.4 (no changes)
2012-09-12 - Vincent Hobeïka <vincent.hobeika@gmail.com>
vera++ (1.1.1-3) unstable; urgency=low
* Enhanced debian user experience. Added default profiles and scripts
and adapted root directory search algorithm.
* Updated man.
2012-08-20 - Vincent Hobeïka <vincent.hobeika@gmail.com>
vera++ (1.1.1-2) unstable; urgency=low
* Hardening flags fix (Closes: #685168).
2012-08-14 - Vincent Hobeïka <vincent.hobeika@gmail.com>
vera++ (1.1.1-1) unstable; urgency=low
* Initial release (Closes: #536363)

See Also

Package Description
vera_1.23-1_all.deb Dictionary of computer related acronyms -- info format
verbiste-el_0.1.45-5_all.deb transitional package, verbiste-el to elpa-verbiste
verbiste-gnome_0.1.45-5_amd64.deb French and Italian conjugator - GNOME interface
verbiste-gtk_0.1.45-5_amd64.deb French and Italian conjugator - GTK app
verbiste_0.1.45-5_amd64.deb French and Italian conjugator
verdigris_1.0-1_amd64.deb Header-only Qt moc replacement
verilator_4.010-1_amd64.deb fast free Verilog simulator
verilog-mode_20161124.fd230e6-2_all.deb emacs mode for Verilog code
verse_0.22.7+b1_amd64.deb Daily Devotional Verse from KJV Bible
veusz_3.0.1-1_all.deb 2D and 3D scientific plotting application with graphical interface
veyon-configurator_4.1.7+repack1-1_amd64.deb Computer Monitoring and Classroom Management Software - configurator
veyon-master_4.1.7+repack1-1_amd64.deb Computer Monitoring and Classroom Management Software - master
veyon-plugins_4.1.7+repack1-1_amd64.deb Computer Monitoring and Classroom Management Software - plugins
veyon-service_4.1.7+repack1-1_amd64.deb Computer Monitoring and Classroom Management Software - client service
vflib3-bin_3.6.14.dfsg-3+nmu4_amd64.deb Sample programs using VFlib3
Advertisement
Advertisement