bump: added pruning, modified API
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
update sha1 for Jyacas
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
Update Rif/versions/0.0.0/sha1

Updated code base for Rif
Merge branch 'master' of git://github.com/JuliaLang/METADATA.jl
Merge pull request #82 from lgautier/patch-7

Update Rif/versions/0.0.0/sha1
Bump CoinMP to fix deprecation warning
Add GLPK and LinProgGLPK
bump Oil sha1
Bump Profile sha1
Bump Profile sha1 again
Add Devectorize package (renamed from DeExpr)
remove obsoleted DeExpr package (which has been moved to Devectorize)
Bump HTTP SHA1
Merge pull request #83 from lindahua/master

Renamed DeExpr to Devectorize
Added ContinuedFractions package