Description of problem: Splint doesn't appear to be available for RHEL Expected results: To have splint available in the EPEL-6 repositories. Additional info: RHEL6 SRPMS: ftp://ftp.redhat.com/pub/redhat/linux/enterprise/6Workstation/en/os/SRPMS/ Optional packages SRPMS (beta): http://download.fedora.redhat.com/pub/epel/beta/6/SRPMS/ EPEL-6 SRPMS: http://download.fedora.redhat.com/pub/epel/6/SRPMS/
I cannot find any original package review (only for RHEL5), therefore I request here: Package Change Request ====================== Package Name: splint New Branches: el6 Owners: mjakubicek
Git done (by process-git-requests).
splint-3.1.2-6.el6 has been submitted as an update for Fedora EPEL 6. https://admin.fedoraproject.org/updates/splint-3.1.2-6.el6
splint-3.1.2-6.el6 has been pushed to the Fedora EPEL 6 testing repository. If problems still persist, please make note of it in this bug report. If you want to test the update, you can install it with su -c 'yum --enablerepo=updates-testing update splint'. You can provide feedback for this update here: https://admin.fedoraproject.org/updates/splint-3.1.2-6.el6
splint-3.1.2-6.el6 has been pushed to the Fedora EPEL 6 stable repository. If problems still persist, please make note of it in this bug report.