astrometry-tycho2 Tycho-2 catalogue for astrometry.net, same content as Tycho-2 shipped by astrometry.net itself, but generated from source. Useful for Linux distribution packaging. Fedora packages fare available in official repo, package astrometry-tycho2