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.2 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM,REPLYTO_WITHOUT_TO_CC,SUBJ_ALL_CAPS autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b504b0f1d6b36887 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local01.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Fri, 20 Mar 2009 01:44:40 -0500 Date: Fri, 20 Mar 2009 06:44:44 +0000 From: Martyn Pike Reply-To: emconuk@gmail.com User-Agent: Thunderbird 2.0.0.21 (Windows/20090302) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2009 References: <_uWdnV4tyeVKPF_UnZ2dnUVZ8qSWnZ2d@giganews.com> <0d1bfe83-9d77-4846-8935-21855cdec97b@y13g2000yqn.googlegroups.com> In-Reply-To: <0d1bfe83-9d77-4846-8935-21855cdec97b@y13g2000yqn.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-yxchMe/9abEsEtduuTQ+MV7uKOyumHARQnW5dVa+YoilNzfpXfMWX2BD2PLuDPtuCo+g+8eXLFB69v3!GiOd1xYldrheWN1TFKZIJVooLOqFKpRbPAGrEgrIOFKolwJOJKcsotrAOTIQ3KZbIQxhXg/WgEU= 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.39 Xref: g2news2.google.com comp.lang.ada:5169 Date: 2009-03-20T06:44:44+00:00 List-Id: roderick.chapman@googlemail.com wrote: > On Mar 19, 7:49 pm, Martyn Pike wrote: >> Hi >> >> Does anyone know roughly when GNAT GPL 2009 might be coming out and >> wether the GPL SPARK Examiner is going to be part of it ? > > Our plans in this area will be announced at AdaUK > on Tuesday. > - Rod Chapman, SPARK Team, Praxis Thanks Rod I look forward to hearing about it