/default.adp/1.1.1.1/Sun Jan  6 17:14:21 2002//
/ephemeris-flags-test_flags.adb/1.1.1.1/Sun Jan  6 17:14:21 2002//
/ephemeris-flags-test_flags.ads/1.1.1.1/Sun Jan  6 17:14:21 2002//
/ephemeris_suite.adb/1.1.1.1/Sun Jan  6 17:14:21 2002//
/harness.adb/1.1.1.1/Sun Jan  6 17:14:21 2002//
D
