Tarkennettu haku
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: vera++  ]

Paketti: vera++ (1.2.1-2 ja muut)

Links for vera++

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti vera++:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

Programmable verification and analysis tool for C++

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. Vera++ is mainly an engine that parses C++ source files and presents the result of this parsing to scripts in the form of various collections - the scripts are actually performing the requested tasks.

Muut pakettiin vera++ liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi vera++

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
amd64 1.2.1-2+b4 123.8 kt454.0 kt [tiedostoluettelo]
arm64 1.2.1-2+b3 114.8 kt450.0 kt [tiedostoluettelo]
armel 1.2.1-2+b4 113.9 kt421.0 kt [tiedostoluettelo]
armhf 1.2.1-2+b4 113.4 kt345.0 kt [tiedostoluettelo]
i386 1.2.1-2+b4 132.3 kt453.0 kt [tiedostoluettelo]
mips 1.2.1-2+b4 115.5 kt491.0 kt [tiedostoluettelo]
mips64el 1.2.1-2+b2 116.4 kt527.0 kt [tiedostoluettelo]
mipsel 1.2.1-2+b4 117.0 kt491.0 kt [tiedostoluettelo]
ppc64el 1.2.1-2+b3 121.1 kt554.0 kt [tiedostoluettelo]
s390x 1.2.1-2+b4 122.6 kt498.0 kt [tiedostoluettelo]