Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 185269 - dev-util/splint-3.1.2: version bump
Summary: dev-util/splint-3.1.2: version bump
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Charlie Shepherd (RETIRED)
URL: http://lclint.cs.virginia.edu/downloads/
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2007-07-14 05:13 UTC by Mark Glines
Modified: 2007-10-25 16:03 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
splint-3.1.2.ebuild (splint-3.1.2.ebuild,652 bytes, text/plain)
2007-07-14 05:14 UTC, Mark Glines
Details
splint-3.1.2.ebuild.diff (splint-3.1.2.ebuild.diff,555 bytes, patch)
2007-10-05 16:15 UTC, Alon Bar-Lev (RETIRED)
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Mark Glines 2007-07-14 05:13:03 UTC
Version 3.1.2 has been released.  This fixes bugs that have been hindering our use of this tool on the parrot codebase.
Comment 1 Mark Glines 2007-07-14 05:14:18 UTC
Created attachment 124797 [details]
splint-3.1.2.ebuild

The new version builds without having to modify the ebuild.  The attached file is just a rename of splint-3.1.1.ebuild, which builds just fine for me.

Mark
Comment 2 Alon Bar-Lev (RETIRED) gentoo-dev 2007-10-05 16:15:59 UTC
Created attachment 132674 [details, diff]
splint-3.1.2.ebuild.diff

Mark, please attach diffs, you don't need to attach rename... :)
Comment 3 Alon Bar-Lev (RETIRED) gentoo-dev 2007-10-05 16:16:37 UTC
Charlie,
Are you there?
Comment 4 Charlie Shepherd (RETIRED) gentoo-dev 2007-10-25 16:03:46 UTC
Thanks, bumped. Sorry I haven't gotten to this bug sooner. Alon (and anyone else reading this), please feel free to bump my packages, just drop me a note on IRC saying so.