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,26089aa3008dcac2
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.241.37 with SMTP id wf5mr2770315pbc.4.1330099741959;
        Fri, 24 Feb 2012 08:09:01 -0800 (PST)
Path: 
 h9ni4255pbe.0!nntp.google.com!news2.google.com!postnews.google.com!w5g2000vbv.googlegroups.com!not-for-mail
From: Phil Clayton <phil.clayton@lineone.net>
Newsgroups: comp.lang.ada
Subject: Re: ANN: SPARK: A red-black tree with correctness proofs
Date: Fri, 24 Feb 2012 08:01:24 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <1949f81c-a737-490b-85f4-813d8d110f45@w5g2000vbv.googlegroups.com>
References: <MPG.29b1639183a1f49f989687@news.zen.co.uk>
 <4f47ab93$0$281$14726298@news.sunsite.dk>
 <op.v96w1wxgule2fv@douda-yannick>
NNTP-Posting-Host: 109.249.214.100
Mime-Version: 1.0
X-Trace: posting.google.com 1330099741 4150 127.0.0.1 (24 Feb 2012 16:09:01
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 24 Feb 2012 16:09:01 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w5g2000vbv.googlegroups.com; posting-host=109.249.214.100;
 posting-account=v7gx3AoAAABfjb9m5b7l_Lt2KVEgQBIe
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: UALERCHNK
X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux x86_64;
 rv:10.0) Gecko/20100101 Firefox/10.0,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-02-24T08:01:24-08:00
List-Id: <comp.lang.ada>

Everything downloads all right from
http://www.sparksure.com/resources/rb_tree_V0_1.zip