A build fix for devil went in on 2006-01-10 (PR/91601), but devil was marked broken for on 2006-01-13 by kris. I suspect a "race condition" here, as I cannot find any newer brokenness reports for the port, and the reason it was marked broken was the exact thing the PR fixed. The fix only unmarks this port as broken. I do not know if I should also bump the port revision, I don't think it is necessary (everyone who has the port installed won't notice the change, and for other people it will just build now).
State Changed From-To: open->closed Committed, thanks!