Ports with origin path different from port name

[Fernando Herrero Carrón]

Hi everyone,

I have lately come across at least two ports whose origin path is different
from the port name, which I found surprising.

One of them is mcmc-jags, which lives in math/jags, the other one is ccid,
which lives in devel/libccid.

Is there any reason for this mismatch?

Best,
Fernando