From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.ARPA Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!usc-eclb.arpa!Mailer From: Mailer@USC-ECLB.ARPA (The Mailer Daemon) Newsgroups: net.lang.ada Subject: Message of 13-Oct-85 15:47:28 Message-ID: <8510150244.AA03633@UCB-VAX> Date: Mon, 14-Oct-85 21:17:34 EDT Article-I.D.: UCB-VAX.8510150244.AA03633 Posted: Mon Oct 14 21:17:34 1985 Date-Received: Wed, 16-Oct-85 05:09:05 EDT Sender: daemon@ucbvax.ARPA Organization: The ARPA Internet List-Id: Message undelivered after 1 day -- will try for another 2 days: oc.trei@B.CS.CMU.EDU.#Internet: Cannot connect to host genesis@BRL-BMD.ARPA.#Internet: Cannot connect to host BBOARD@NOSC-F4.ARPA.#Internet: Cannot connect to host CHARLIE@ARI-HQ1.ARPA.#Internet: Cannot connect to host CONTR22@NOSC-TECR.ARPA.#Internet: Cannot connect to host CONTR23@NOSC-TECR.ARPA.#Internet: Cannot connect to host contr04@NOSC-TECR.ARPA.#Internet: Cannot connect to host info-ada@DREA-XX.ARPA.#Internet: Cannot connect to host jer@AMSAA.ARPA.#Internet: Cannot connect to host info-ada@USGS2-MULTICS.ARPA.#Internet: Cannot connect to host Info-ADA%pco@CISL-SERVICE-MULTICS.ARPA.#Internet: Cannot connect to host ------------ Return-Path: Received: from UCB-VAX.ARPA by USC-ECLB.ARPA; Tue 8 Oct 85 01:38:20-PDT Received: by UCB-VAX (5.28/5.12) id AA20989; Tue, 8 Oct 85 00:30:39 PDT From: uwvax!pokey!dan@ucb-vax.Berkeley.EDU Date: 7 Oct 85 15:05:08 GMT Organization: U of Wisconsin CS Dept Subject: bug-free programs Message-Id: <260@pokey.UUCP> Precedence: junk Sender: usenet@ucb-vax.Berkeley.EDU Errors-To: usenet@ucb-vax.Berkeley.EDU To: info-ada@UCB-VAX.Berkeley.EDU ReSent-Date: Sun 13 Oct 85 15:47:28-PDT ReSent-From: INFO-ADA@USC-ECLB.ARPA ReSent-To: info-ada@USC-ECLB.ARPA ReSent-Message-ID: <12150885483.35.INFO-ADA@USC-ECLB.ARPA> -------