[time-nuts] GPS disciplined Mars clock

[jimlux]

On 7/9/16 9:23 AM, Mark Sims wrote:
> Do you have any equations for calculating Jovian (or Pluto) time and date from UTC / GPS / TAI time?   Lady Heather does not want to slight any of our other potential planetary overlords (but could whip their bloated gaseous asses in a fight)
>

I'm sure JPL Horizons or a similar site has Spice Kernels which 
encapsulate such information.

Jupiter has a 10 hour day, which should make things exciting