How to Install and Uninstall splint Package on Debian 11 (Bullseye)
Last updated: December 23,2024
1. Install "splint" package
In this section, we are going to explain the necessary steps to install splint on Debian 11 (Bullseye)
$
sudo apt update
Copied
$
sudo apt install
splint
Copied
2. Uninstall "splint" package
Please follow the guidance below to uninstall splint on Debian 11 (Bullseye):
$
sudo apt remove
splint
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the splint package on Debian 11 (Bullseye)
Package: splint
Version: 1:3.1.2+dfsg-5
Installed-Size: 2320
Maintainer: Debian QA Group
Architecture: amd64
Replaces: splint-data (<< 1:3.1.2+dfsg-1)
Depends: splint-data (= 1:3.1.2+dfsg-5), libc6 (>= 2.14), libfl2 (>= 2.5.33)
Suggests: splint-doc-html
Breaks: splint-data (<< 1:3.1.2+dfsg-1)
Description: tool for statically checking C programs for bugs
Description-md5: 8e7e32bbdb6feca91226586802c3b837
Multi-Arch: foreign
Homepage: http://www.splint.org/
Tag: devel::lang:c, devel::library, devel::testing-qa, implemented-in::c,
interface::commandline, role::devel-lib, role::program, scope::utility,
security::TODO, use::checking, works-with::software:source
Section: devel
Priority: optional
Filename: pool/main/s/splint/splint_3.1.2+dfsg-5_amd64.deb
Size: 711796
MD5sum: 0a4471113f82206ede653f0848e1386f
SHA256: 3b06d29c8327b55df7c12f590ffdcae2c3d989e83351d453866f770887f39049
Version: 1:3.1.2+dfsg-5
Installed-Size: 2320
Maintainer: Debian QA Group
Architecture: amd64
Replaces: splint-data (<< 1:3.1.2+dfsg-1)
Depends: splint-data (= 1:3.1.2+dfsg-5), libc6 (>= 2.14), libfl2 (>= 2.5.33)
Suggests: splint-doc-html
Breaks: splint-data (<< 1:3.1.2+dfsg-1)
Description: tool for statically checking C programs for bugs
Description-md5: 8e7e32bbdb6feca91226586802c3b837
Multi-Arch: foreign
Homepage: http://www.splint.org/
Tag: devel::lang:c, devel::library, devel::testing-qa, implemented-in::c,
interface::commandline, role::devel-lib, role::program, scope::utility,
security::TODO, use::checking, works-with::software:source
Section: devel
Priority: optional
Filename: pool/main/s/splint/splint_3.1.2+dfsg-5_amd64.deb
Size: 711796
MD5sum: 0a4471113f82206ede653f0848e1386f
SHA256: 3b06d29c8327b55df7c12f590ffdcae2c3d989e83351d453866f770887f39049