Alle Optionen
squeeze  ] [  wheezy  ] [  sid  ]

Quellcode-Paket: splint (3.1.2.dfsg1-2)

Links für splint

Debian-Ressourcen:

Betreuer:

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
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

Andere Pakete mit Bezug zu splint

  • build-depends
  • build-depends-indep

Download splint

DateiGröße (in kB)MD5-Prüfsumme
splint_3.1.2.dfsg1-2.dsc 1,3 kB 3416eb715c22238862374d3b9328b5b5
splint_3.1.2.dfsg1.orig.tar.gz 1.776,2 kB 603fe0331a205c4bc99159297da58cee
splint_3.1.2.dfsg1-2.diff.gz 24,0 kB 16c2a5bf87009fe4e69d08ded7c9030f
Quellcode-Depot des Debian-Pakets (VCS: Subversion)
svn://svn.debian.org/svn/collab-maint/ext-maint/splint/unstable
Quellcode-Depot des Debian-Pakets (browsable)
http://svn.debian.org/wsvn/collab-maint/ext-maint/splint/unstable/?op=log