diff --git a/splint/.md5sum b/splint/.md5sum
index 21be2656d..8784d3150 100644
--- a/splint/.md5sum
+++ b/splint/.md5sum
@@ -1 +1 @@
-51553d1df3a17a2222c6d116cff0840f  splint-3.1.2.src.tgz
+25f47d70bd9c8bdddf6b03de5949c4fd  splint-3.1.2.src.tgz