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.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!buffer1.nntp.ams1.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 14 Nov 2017 08:10:01 -0600 From: Michael Erdmann Subject: GNAT bench publicaly available Newsgroups: comp.lang.ada User-Agent: Pan/0.142 (He slipped to Sam a double gin; 01b5bf4 git.gnome.org/pan2) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Message-ID: Date: Tue, 14 Nov 2017 08:10:01 -0600 X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-Rg5CJ7UFfK4iaUo8XnVtT00CWc5eHjMVLKfsvVRP5MnZDK1560QoijkpiaqUV2rgvdLMD1ihi7daYoK!1WTxGjRMfgibiijZWfVV3tb5Ii/SJSCVES/gqHluYW0LpQu76+MyivbSBWXfPlb1gLAYU6CfV10= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 1345 Xref: feeder.eternal-september.org comp.lang.ada:48882 Date: 2017-11-14T08:10:01-06:00 List-Id: Hallo, i am trying to figure out whether the eclipse GANTbench is publicaly availabel or not? Unfortunately https://marketplace.eclipse.org/content/gnatbench dosen"t say anything about it; but the download button is gray. This means for me a clear NO statement which is a pity :-( /Michael