Name : splint
| |
Version : 3.1.2
| Vendor : openSUSE
|
Release : bp156.3.5
| Date : 2023-12-07 15:45:51
|
Group : Development/Languages/C and C++
| Source RPM : splint-3.1.2-bp156.3.5.src.rpm
|
Size : 4.02 MB
| |
Packager : https://bugs_opensuse_org
| |
Summary : A tool for statically checking C programs
|
Description :
With minimal effort, LCLint can be used as a better lint. If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint.
|
RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
splint
splint(x86-64)
Requires :