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

Pakket: vera++ (1.3.0-1 en anderen)

Verwijzigingen voor vera++

Screenshot

Debian bronnen:

Het bronpakket vera++ downloaden:

Beheerders:

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.3.0-1 268,0 kB1.004,0 kB [overzicht]
arm64 1.3.0-1+b1 207,6 kB748,0 kB [overzicht]
armhf 1.3.0-1 232,9 kB808,0 kB [overzicht]
i386 1.3.0-1 279,9 kB985,0 kB [overzicht]
ppc64el 1.3.0-1 269,5 kB1.131,0 kB [overzicht]
riscv64 1.3.0-1 261,3 kB851,0 kB [overzicht]
s390x 1.3.0-1 255,0 kB1.015,0 kB [overzicht]