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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,320fea3b33107e09 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.220.230 with SMTP id pz6mr18129959pbc.3.1340751693686; Tue, 26 Jun 2012 16:01:33 -0700 (PDT) Path: l9ni23579pbj.0!nntp.google.com!news1.google.com!news2.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 26 Jun 2012 18:01:32 -0500 Date: Tue, 26 Jun 2012 16:01:33 -0700 From: Jerry Petrey User-Agent: Mozilla/5.0 (Windows NT 6.1; rv:13.0) Gecko/20120614 Thunderbird/13.0.1 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: fyi, GNAT GPL 2012 and SPARK GPL 2012 are out References: In-Reply-To: X-Antivirus: avast! (VPS 120626-0, 06/26/2012), Outbound message X-Antivirus-Status: Clean Message-ID: X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 68.230.56.36 X-Trace: sv3-dXYW7stz19dZxd59kPg4AbQeMvIynLkeL1I7AJ6M6gj+0hkd11Sbi0v9Y+a362gkZ81I71uHd8El1Vs!hhA3f6NLFfHmAGHUPZ4jF2ERJNmDXyjyYyDs5T7X7KlxwnnCyE1z3hq/dTj63D47VVQrrKxx5Zq0!wVZ418Zm8yBk 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: 1323 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-06-26T16:01:33-07:00 List-Id: Yes. The GAP version was out a couple of weeks ago and it looks good. I was happy to see it. Jerry