This copy of the distfile is also called .tar.gz but is an uncompressed copy of that file. Nagged by: kris
Submitted by: KATO Tsuguru <tguru@protomail.ne.jp>
plus assorted astronomical data (rise/set times, orbital elements, etc). PR: 9906