I've tweaked the repository - apparently I need to lowercase everything and it thinks user/navigation is different form user/Navigation. I'll have updates later this weekend, but for now it might install TZGPS-* and tell you it is still available for installation with tzgps-* installed