package names descriptions source package names package contents all options

[  noble  ] [  questing  ] [  resolute  ]

[ Source: ikos  ]

Links for libikos

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package ikos:

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

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

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.

External Resources:

• Homepage [github.com]

Similar packages:

• libikos-dev
• libfindbugs-java
• findbugs
• libfindbugs-annotations-java
• libfindbugs-ant-java
• libcpputest-dev
• rubocop
• prospector
• libfl-dev
• cppcheck
• cppcheck-gui

Download libikos

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	291.4 kB	1,840.0 kB	[list of files]
arm64	280.1 kB	1,812.0 kB	[list of files]
armhf	285.9 kB	1,390.0 kB	[list of files]
ppc64el	296.8 kB	1,895.0 kB	[list of files]
riscv64	1,197.0 kB	10,317.0 kB	[list of files]
s390x	291.8 kB	1,778.0 kB	[list of files]