Re: Ports with origin path different from port name

2017-01-19 Thread mokhi
Hi, About libCCID, the name was this when I became its maintainer, but it makes sense for me, cause it's mostly being used because of the drivers that it installs ('libccid.so' lib actually) so it's more a library than tool. Best wishes, Mokhi. ___ freeb

Ports with origin path different from port name

2017-01-19 Thread 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 _