Hi Bruno

I have checked and confirmed that all the packages you have listed are installed, and are 0.7-beta1-6. in /usr/share/carman/plugins I have 2 directories - default_map_repo, and viewer

Thanks

Gary

p.s. I'm in the UK, and saw your city featured recently in a BBC documentary I have been watching - very beautiful. You guys are very lucky!