#include <stdio.h>

#include <Xm/Xm.h>

#include "xephem.h"

char PATCHLEVEL[] = "4.2.0";
char PATCHDATE[] = "2024 February 13";
char COPYRIGHT[] = "Copyright (c) 1990-2021 by Elwood Charles Downey";