Page MenuHomeFreeBSD

devel/linux-*-devtools: remove GMP
ClosedPublic

Authored by xmj on Dec 2 2014, 7:54 PM.

Details

Reviewers
swills
koobs
Summary
devel/linux-*-devtools: remove GMP

With GMP in linux_base-* remove its occurrence in the devtools port.

Spotted by:	antoine
Approved by:	swills (mentor)
Test Plan

Diff Detail

Repository
rP FreeBSD ports repository
Lint
No Linters Available
Unit
No Unit Test Coverage

Event Timeline

xmj retitled this revision from to devel/linux-*-devtools: remove GMP.
xmj updated this object.
xmj edited the test plan for this revision. (Show Details)
swills edited edge metadata.

Approved

This revision is now accepted and ready to land.Dec 2 2014, 8:40 PM

Committed revision 373783.