Cheap VPS & Xen Server


Residential Proxy Network - Hourly & Monthly Packages

How to install splint on Debian Unstable (Sid)


Install splint

Installing splint package on Debian Unstable (Sid) is as easy as running the following command on terminal:

sudo apt-get update
sudo apt-get install splint

splint package information

distro Debian Unstable (Sid)
section Main
name splint
version 3.1.2.dfsg1-2
description tool for statically checking C programs for bugs
subsection devel
website splint.org
maintainer Y Giridhar Appaji Nag

Uninstall splint

To remove just splint package itself from Debian Unstable (Sid) execute on terminal:

sudo apt-get remove splint

Uninstall splint and it’s dependent packages

To remove the splint package and any other dependant package which are no longer needed from Debian Sid.

sudo apt-get remove --auto-remove splint

Purging splint

If you also want to delete configuration and/or data files of splint from Debian Sid then this will work:

sudo apt-get purge splint

To delete configuration and/or data files of splint and it’s dependencies from Debian Sid then execute:

sudo apt-get purge --auto-remove splint

 

Comments

comments