Information for a GNSS file