Bug#1092812: splint: New upstream

[Bjarni Ingi Gislason]

Package: splint
Version: 1:3.1.2+dfsg-5
Severity: wishlist

Dear Maintainer,

  Upstream is now at https://github.com/splintchecker/splint