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

Source Package: splint (3.1.2.dfsg1-4)

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.dfsg1-4.dsc 2.0 kB 2a12854fb6973a5164ca0f8c3ed415d3
splint_3.1.2.dfsg1.orig.tar.gz 1,776.2 kB 603fe0331a205c4bc99159297da58cee
splint_3.1.2.dfsg1-4.debian.tar.xz 22.6 kB 382dd42fccce2d341cff4ccb2780c9fa
Debian Package Source Repository (VCS: Subversion)
https://anonscm.debian.org/git/splint.git
Debian Package Source Repository (Browsable)
https://anonscm.debian.org/cgit/splint.git