» Ubuntu » Paquets » questing (25.10) » devel » vera++
jammy  ] [  noble  ] [  questing  ] [  resolute  ]
[ Paquet source : vera++  ]

Paquet : vera++ (1.2.1-2build12) [universe]

Liens pour vera++

Screenshot

Ressources Ubuntu :

Télécharger le paquet source vera++ :

Responsable :

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

  • Vincent Hobeïka

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

Programmable verification and analysis tool for C++

Autres paquets associés à vera++

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger vera++

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 122,1 ko385,0 ko [liste des fichiers]
arm64 115,1 ko425,0 ko [liste des fichiers]
armhf 125,0 ko360,0 ko [liste des fichiers]
ppc64el 126,9 ko425,0 ko [liste des fichiers]
riscv64 139,9 ko413,0 ko [liste des fichiers]
s390x 120,7 ko381,0 ko [liste des fichiers]