Paquet : libikos-dev (3.2-3) [multiverse]

Liens pour libikos-dev

Ressources Ubuntu :

• Rapports de bogues
• Journal des modifications Ubuntu
• Fichier de licence

Télécharger le paquet source ikos :

• [ikos_3.2-3.dsc]
• [ikos_3.2.orig.tar.gz]
• [ikos_3.2-3.debian.tar.xz]

Responsable :

• Ubuntu MOTU Developers (Archive du courrier électronique)

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

Original Maintainers (usually from Debian):

• Debian Python Team
• Scott Talbert

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

Ressources externes :

• Page d'accueil [github.com]

Paquets similaires :

• ikos
• findbugs
• libfindbugs-annotations-java
• libfindbugs-java
• libcpputest-dev
• libfindbugs-ant-java
• opensta-dev
• libllama-dev
• libsass-dev
• rubocop
• libstb-dev

Autres paquets associés à libikos-dev

• dep: libikos (= 3.2-3)

  Static analyzer for C/C++ - static libraries

Télécharger libikos-dev