namen van pakketten omschrijvingen namen van bronpakketten inhoud van pakketten alle opties

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ]

Verwijzigingen voor vera++

Ubuntu bronnen:

• Probleemrapporten
• Ubuntu Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Ubuntu Developers (Mailarchief)

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.

Externe bronnen:

• Homepage [bitbucket.org]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

vera++

Programmable verification and analysis tool for C++

Andere aan vera++ gerelateerde pakketten

build-depends

build-depends-indep

• adep: debhelper (>= 9)

  helper programs for debian/rules

• adep: libboost-dev (>= 1.42)

  Boost C++ Libraries development files (default version)

• adep: tcl-dev (>= 8)

  Tool Command Language (default version) - development files

• adep: libboost-wave-dev (>= 1.42)

  C99/C++ preprocessor library (default version)

• adep: libboost-thread-dev (>= 1.42)

  portable C++ multi-threading (default version)

• adep: libboost-system-dev (>= 1.42)

  Pakket niet beschikbaar

• adep: libboost-program-options-dev (>= 1.42)

  program options library for C++ (default version)

• adep: cmake

  cross-platform, open-source make system

Download vera++

Bestand	Grootte (in kB)	MD5 checksum
vera++_1.2.1.orig.tar.gz	70,8 kB	a23de16b826da0aeef7f365ba631ea8e
vera++_1.2.1-2build12.debian.tar.xz	17,0 kB	f6d4ca276f89b7df19344ba3e1199dbb
vera++_1.2.1-2build12.dsc	2,0 kB	89c19b7fdd0b55774d8e3d1be57fdca9

Debian Package Source Repository (VCS: Git)

https://bitbucket.org/verateam/vera.git

Debian Package Source Repository (Browsable)

https://bitbucket.org/verateam/vera/src