all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

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

Links for splint

Debian Resources:

Maintainer:

External Resources:

The following binary packages are built from this source package:
splint
strumento per controllo statico di bug in programmi C
splint-data
strumento per controllo statico di bug in programmi C - file dei dati
splint-doc-html
strumento per controllo statico di bug in programmi C - documentazione HTML

Other Packages Related to splint

  • build-depends
  • build-depends-indep

Download splint

FileSize (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