| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: splint | Distribution: Red Hat Linux |
| Version: 3.0.1.7 | Vendor: Red Hat, Inc. |
| Release: 0.20030123 | Build date: Fri Jan 24 21:18:17 2003 |
| Group: Development/Tools | Build host: porky.devel.redhat.com |
| Size: 3304021 | Source RPM: splint-3.0.1.7-0.20030123.src.rpm |
| Packager: Red Hat, Inc. <http://bugzilla.redhat.com/bugzilla> | |
| Url: http://www.splint.org/ | |
| Summary: An implementation of the lint program | |
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.
GPL
internal MD5: 3fdd2c6b9b28caa3d0634a660e601cdd
GPG
* Thu Jan 23 2003 Tim Powers <timp@redhat.com> 3.0.1.7-0.20030123 - rebuild * Mon Nov 11 2002 Jeff Johnson <jbj@redhat.com> 3.0.1.6-4 - rebuild from cvs. - update to 3.0.1.7 snapshot. - avoid non-i386 horkage for now. * Fri May 24 2002 Tim Powers <timp@redhat.com> - automated rebuild * Tue Feb 26 2002 Nalin Dahyabhai <nalin@redhat.com> 3.0.1.6-2 - rebuild in new environment * Tue Feb 12 2002 Jeff Johnson <jbj@redhat.com> - update to splint-3.0.1.6. * Sat Feb 09 2002 Jeff Johnson <jbj@redhat.com> - update to splint-3.0.1.5. * Thu Jan 17 2002 Jeff Johnson <jbj@redhat.com> - update to splint-3.0.1.3.1. * Tue Oct 09 2001 Jeff Johnson <jbj@redhat.com> - update to 3.0.0.17. * Fri Sep 07 2001 Jeff Johnson <jbj@redhat.com> - update to 2.5r. * Mon Jun 25 2001 Elliot Lee <sopwith@redhat.com> - Bump release + rebuild. * Thu Feb 15 2001 Trond Eivind Glomsrød <teg@redhat.com> - <time.h> fix * Mon Dec 11 2000 Bill Nottingham <notting@redhat.com> - fix build on ia64 * Tue Aug 22 2000 Jeff Johnson <jbj@redhat.com> - set default configuration appropriately. * Sat Jul 29 2000 Eric Veldhuyzen <eric@terra.nu> - upgraded to 2.5q * Tue Jul 25 2000 Prospector <prospector@redhat.com> - rebuilt * Tue Jul 18 2000 Tim Powers <timp@redhat.com> - added defattr * Thu Jul 13 2000 Tim Powers <timp@redhat.com> - fixed build section so that it links with flex properly * Tue Jul 11 2000 Tim Powers <timp@redhat.com> - rebuilt * Thu Jun 08 2000 Tim Powers <timp@redhat.com> - minor spec file cleanups, built for Powertools-7.0 * Sat May 27 2000 Eric Veldhuyzen <eric@terra.nu> - upgraded to 2.5m - reorganized specfile * Sat Oct 31 1998 Justin Cormack <jpc1@doc.ic.ac.uk> - found correct 2.4b source (was actually 2.3) - no longer an emacs mode - added documentation * Thu Oct 15 1998 Justin Cormack <jpc1@doc.ic.ac.uk> - fixed library directories not to point at buildroot * Tue Oct 13 1998 Justin Cormack <jpc1@doc.ic.ac.uk> - fixed executable * Sun Jun 07 1998 Michael Maher <mike@redhat.com> - fixed paths for executable link * Mon May 18 1998 Michael Maher <mike@redhat.com> - updated to newest version - added buildroot - added wmconfig * Mon Feb 16 1998 Otto Hammersmith <otto@redhat.com> - added Summary * Tue Feb 03 1998 Otto Hammersmith <otto@redhat.com> - %doc'ed some stuff * Mon Feb 02 1998 Otto Hammersmith <otto@redhat.com> - made /usr/lib/lclint/bin a directory, not the executable * Fri Jan 23 1998 Otto Hammersmith <otto@redhat.com> - built the package
˜Eè
Generated by rpm2html 1.8.1
Daniel Veillard, Mon Oct 13 03:53:13 2008