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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a57260cce403bdae,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!v12g2000vby.googlegroups.com!not-for-mail
From: Rod Chapman <roderick.chapman@googlemail.com>
Newsgroups: comp.lang.ada
Subject: SPARK GPL 2011 and SPARKSkein 2011
Date: Wed, 20 Jul 2011 05:39:23 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <f7d3702b-1207-4c5d-8497-8a5130d6af20@v12g2000vby.googlegroups.com>
NNTP-Posting-Host: 217.205.167.137
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1311165639 9566 127.0.0.1 (20 Jul 2011 12:40:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 20 Jul 2011 12:40:39 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: v12g2000vby.googlegroups.com; posting-host=217.205.167.137;
 posting-account=HCzrEgkAAABSfGsTnv-u5wET6EzuneVi
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HUALESRCNK
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1;
 rv:5.0) Gecko/20100101 Firefox/5.0,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:21207
Date: 2011-07-20T05:39:23-07:00
List-Id: <comp.lang.ada>

SPARK GPL 2011 is now up on libre.adacore.com.

We've also updated the SPARKSkein release to meet
v1.3 of the Skein specification, and reproduced all
analyses and proofs with the GPL 2011 toolset.
This is at www.skein-hash.info.

 - Rod