toutes les options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]

Paquet source : splint (1:3.1.2+dfsg-1)

Liens pour splint

Ressources Debian :

Responsable :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
splint
tool for statically checking C programs for bugs
splint-data
tool for statically checking C programs for bugs - data files
splint-doc-html
outil de vérification statique de programmes en C pour des bogues – documentation en HTML

Autres paquets associés à splint

  • build-depends
  • build-depends-indep

Download splint

FichierTaille (en ko)Somme MD5
splint_3.1.2+dfsg-1.dsc 1,6 ko cd6613240a8603c803a572f10048e154
splint_3.1.2+dfsg.orig.tar.xz 1 105,1 ko b6dc24c1fdc03a07dbbdbcdfdb1fa5d0
splint_3.1.2+dfsg-1.debian.tar.xz 104,4 ko 9c4f665d02a07d81a64675cfe9fa267b
Dépôt Debian des paquets source (VCS: Git)
https://anonscm.debian.org/git/collab-maint/splint.git
Dépôt Debian des paquets source (interface web)
https://anonscm.debian.org/cgit/collab-maint/splint.git