splint-3.1.2-24.fc33 | Build Info

Information for build splint-3.1.2-24.fc33

140619

Package Name

splint

Version

3.1.2

Release

24.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/splint.git#687772d94a3be1b53b99b540913d53f84c2c81bb

Summary

An implementation of the lint program

Description

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.

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 27 Mar 2020 09:51:58 UTC

Completed

Fri, 27 Mar 2020 10:42:19 UTC

Task

build (f33, /rpms/splint.git:687772d94a3be1b53b99b540913d53f84c2c81bb)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/splint.git#687772d94a3be1b53b99b540913d53f84c2c81bb'}}

Tags

f33

RPMs

src
	splint-3.1.2-24.fc33.src.rpm (info) (download)
riscv64
	splint-3.1.2-24.fc33.riscv64.rpm (info) (download)
	splint-debuginfo-3.1.2-24.fc33.riscv64.rpm (info) (download)
	splint-debugsource-3.1.2-24.fc33.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-23 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 3.1.2-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild

Main Site Links:

Information for build splint-3.1.2-24.fc33