diff options
Diffstat (limited to 'dev-util/splint/Manifest')
| -rw-r--r-- | dev-util/splint/Manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-util/splint/Manifest b/dev-util/splint/Manifest new file mode 100644 index 000000000000..0a7d3620d0d6 --- /dev/null +++ b/dev-util/splint/Manifest @@ -0,0 +1 @@ +DIST splint-3.1.2.src.tgz 2284033 SHA256 c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a SHA512 9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b WHIRLPOOL 092afab6adee524b93a06c4674941bb5a21c838226fa8fa0d5536e97d1411ee43d472212f5aa3677431b59eef325837bf6521ba62163df54f302b6ac1c279313 |