[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

Source Package: splint (1:3.1.2 dfsg-1)

Links for splint

Debian Resources:

Maintainer:

Debian QA Group (QA Page)

External Resources:

Homepage [www.splint.org]

The following binary packages are built from this source package:

splint: tool for statically checking C programs for bugs
splint-data: tool for statically checking C programs for bugs - data files
splint-doc-html: tool for statically checking C programs for bugs - HTML documentation

Other Packages Related to splint

build-depends

build-depends-indep

adep: debhelper (>= 10)

helper programs for debian/rules
adep: libfl-dev

static library for flex (a fast lexical analyzer generator)

Download splint

File	Size (in kB)	MD5 checksum
splint_3.1.2 dfsg-1.dsc	1.6 kB	cd6613240a8603c803a572f10048e154
splint_3.1.2 dfsg.orig.tar.xz	1,105.1 kB	b6dc24c1fdc03a07dbbdbcdfdb1fa5d0
splint_3.1.2 dfsg-1.debian.tar.xz	104.4 kB	9c4f665d02a07d81a64675cfe9fa267b

Debian Package Source Repository (VCS: Git): https://anonscm.debian.org/git/collab-maint/splint.git
Debian Package Source Repository (Browsable): https://anonscm.debian.org/cgit/collab-maint/splint.git