Bug#1092812: splint: New upstream

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1092812: splint: New upstream
From: Bjarni Ingi Gislason <bjarniig@simnet.is>
Date: Sat, 11 Jan 2025 21:50:28 +0000
Message-id: <[🔎] thcvx6agsakksscstujyvga6oocqi4jp3wmish6xeeli2gwjir@ccga56xsphkf>
Reply-to: Bjarni Ingi Gislason <bjarniig@simnet.is>, 1092812@bugs.debian.org

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

Dear Maintainer,

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

Reply to: