alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: vera++  ]

Pakket: vera++ (1.2.1-2 en anderen)

Verwijzigingen voor vera++

Screenshot

Debian bronnen:

Het bronpakket vera++ downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan vera++ gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

vera++ downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 1.2.1-2+b7 129,1 kB466,0 kB [overzicht]
arm64 1.2.1-2+b6 120,2 kB454,0 kB [overzicht]
armel 1.2.1-2+b7 112,4 kB405,0 kB [overzicht]
armhf 1.2.1-2+b7 114,2 kB341,0 kB [overzicht]
i386 1.2.1-2+b7 137,5 kB469,0 kB [overzicht]
mips64el 1.2.1-2+b5 119,5 kB523,0 kB [overzicht]
mipsel 1.2.1-2+b7 120,4 kB495,0 kB [overzicht]
ppc64el 1.2.1-2+b6 132,5 kB554,0 kB [overzicht]
s390x 1.2.1-2+b7 118,8 kB474,0 kB [overzicht]