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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,71b4c0131a8a22a4
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Newsgroups: comp.lang.ada
Subject: Re: Corrected version Re: pragma License ?
References: <f4rsv5$6g9$1@online.de> <f4ukr6$meq$1@online.de>
 <1182493841.177772.314860@c77g2000hse.googlegroups.com>
 <SvOei.109477$Sa4.14951@bgtnsc05-news.ops.worldnet.att.net>
 <467c0cea$0$20281$9b4e6d93@newsspool3.arcor-online.net>
 <f5h2o0$71l$1@online.de>
From: Markus E Leypold
 <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Organization: N/A
Date: Fri, 22 Jun 2007 20:14:23 +0200
Message-ID: <irk5tvg8lc.fsf@hod.lan.m-e-leypold.de>
User-Agent: Some cool user agent (SCUG)
Cancel-Lock: sha1:gKZoXq2KqcCOsThghXJhqTzRFfo=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Host: 88.72.230.101
X-Trace: news.arcor-ip.de 1182535469 88.72.230.101 (22 Jun 2007 20:04:29
 +0200)
X-Complaints-To: abuse@arcor-ip.de
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail
Xref: g2news1.google.com comp.lang.ada:16312
Date: 2007-06-22T20:14:23+02:00
List-Id: <comp.lang.ada>


> Georg Bauhaus <bauhaus.rm.tsoh@maps.futureapps.de> writes:
>
>> Do you have an AdaCore contract? Many here who have had the
>> pleasure of working with an AdaCore supported edition have
>> stated that even the Pro edition of GNAT is GPLed.
>
> Really? I thought the Pro Version was GMGPL.

Well, yes, probably. But not "the AdaCore license", certainly. And
AFAIR the GM was only for the runtime anyway and is the only place
where it matters.

Regards -- Markus