set name=pkg.fmri value=pkg://localhosts11/developer/splint/src@3.1.2,5.11-0.0.175.0.0.0.2.0:20140113T011704Z file 7838cb69244fdc0dc479c572a5e418c1cb1d8a3c chash=595b1ea59ee3a4625e320c187873c5c8378e6291 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/arch64.inc pkg.csize=1222 pkg.size=3855 set name=pkg.summary value="An implementation of the lint program" file dfbd911672c074b2d6459439932a6e9c31b4eea5 chash=db0c13ffd3bbbaba21148699194037d4bf3b3dc6 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/prod.inc pkg.csize=553 pkg.size=987 file 588bec448a474b538f87cc6ca6b6f076018b7e17 chash=708566e3f45eb44ddf215bbee7af8287d8d8cab1 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/default-depend.inc pkg.csize=341 pkg.size=561 set name=pkg.description value="Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform even stronger checks than can be done by any standard lint." file 0df489cb228dcfffb149b38c57614c2c3e200501 chash=7d6d99b4c235030d4ea6049b698a1346d3855475 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SOURCES/splint-3.1.2.src.tgz pkg.csize=2276331 pkg.size=2284033 file 30820c148242fa4a60c9522cc95681a6099630fc chash=70ec874b143d7b491981b2373a3248b38d6d1627 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/options.inc pkg.csize=1015 pkg.size=3673 set name=net.sourceforge.pkgbuild,version value=1.3.104 dir group=bin mode=0555 owner=root path=share/src/SFEsplint-3.1.2 legacy arch=i386 category=SFE,application desc="Source package for Source package for An implementation of the lint program" hotline="Please contact your local service provider" name="Source package for Source package for An implementation of the lint program" pkg=SFEsplint-src vendor=http://pkgbuild.sf.net/spec-files-extra version=3.1.2,REV=110.0.4.2014.01.13.02.14 set name=info.source-url value=http://www.splint.org/downloads/splint-3.1.2.src.tgz file 30d0bba6cad13dce47b9dad5075794e8b5d0a763 chash=269aae7bfa54d5befacf8eddd90edbe7f64b6efc group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/Solaris.inc pkg.csize=2322 pkg.size=6287 set name=build.tool value=pkgbuild file bc8701644e63e4f14c2104aa27dec2b887e178bf chash=e4d30e7b8ed41d0c640072900090406433e5aa26 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SOURCES/default-copyright.txt pkg.csize=116 pkg.size=135 file 31b29866d1ecd89539fc5ecd0ad1343e9a97ed6c chash=828298c8a291a7339e6c36e99d2a872a85c7f886 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/base.inc pkg.csize=1560 pkg.size=4267 set name=info.classification value=org.rpm:Development/Tools dir group=bin mode=0555 owner=root path=share/src/SFEsplint-3.1.2/SOURCES link path=usr/share/src/SFEsplint-3.1.2/SPECS/..main.spec target=SFEsplint.spec set name=info.upstream-url value=http://www.splint.org/ set name=variant.arch value=i386 license bc8701644e63e4f14c2104aa27dec2b887e178bf chash=e4d30e7b8ed41d0c640072900090406433e5aa26 license=GPLv2+ pkg.csize=116 pkg.size=135 file 90b718c8818efd39c930da540a56ca9aec1ed826 chash=e1a6aed57c804e0b1af2f441e4cfbfae3278b83b group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SPECS/SFEsplint.spec pkg.csize=867 pkg.size=1576 dir group=bin mode=0555 owner=root path=share/src/SFEsplint-3.1.2/SPECS file ea48ee03042bc4afc866283d7d3e802f90f0f00f chash=7ebc9cfb29bb6ba0665c62468781ef4b85cb5f20 group=bin mode=0444 owner=root path=usr/share/src/SFEsplint-3.1.2/SOURCES/..pkgbuild pkg.csize=45 pkg.size=25