Versions Packages Information History Badges Report

Packages for vera++

vera++

1.3.0 (1.3.0-r2)

vera++

1.3.0 (1.3.0-2)
  • Summary:
    A programmable tool for verification, analysis and transformation of C++ source code
  • Maintainer:
  • Category:
    • devel
  • Package-related links:

vera++

1.3.0 (1.3.0-2)
Deepin
main

vera++

1.2.1 (1.2.1-2)
Devuan Oldstable
oldstable/main

vera++

1.2.1 (1.2.1-2)
Devuan Stable
stable/main

vera++

1.2.1 (1.2.1-2)
Devuan Testing
testing/main

vera++

1.2.1 (1.2.1-2)
Devuan Unstable
unstable/main

vera++

1.2.1 (1.2.1-2)

vera++

1.3.0 (1.3.0_9)

vera++

1.3.0 (1.3.0_9)

vera++

1.3.0

vera++

1.2.1 (1.2.1-2)

vera++

1.3.0
Pardus
main

vera++

1.2.1 (1.2.1-2)
Parrot
main

vera++

1.2.1 (1.2.1-2)

vera++

1.1.1 (1.1.1nb19)

vera++

1.2.1 (1.2.1-2)

vera++

1.2.1 (1.2.1-2)

vera++

1.2.1 (1.2.1-2)

vera++

1.2.1 (1.2.1-2)

vera++

1.2.1 (1.2.1-2)
Trisquel 7.0
belenos/main

vera++

1.2.1 (1.2.1-2)
Trisquel 8.0
flidas/main

vera++

1.2.1 (1.2.1-2build2)
Ubuntu 14.04
trusty/universe

vera++

1.2.1 (1.2.1-2)
Ubuntu 16.04
xenial/universe

vera++

1.2.1 (1.2.1-2build2)
Ubuntu 17.10
artful/universe

vera++

1.2.1 (1.2.1-2build5)
Ubuntu 18.04
bionic/universe

vera++

1.2.1 (1.2.1-2build6)
Ubuntu 18.10
cosmic/universe

vera++

1.2.1 (1.2.1-2build7)

vera++

1.3.0