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: a07f3367d7,ec6f74e58e86b38b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!138.195.8.3.MISMATCH!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: Sockets package in SPARK
Date: Fri, 28 May 2010 09:43:18 +0200
Organization: Jacob Sparre Andersen
Message-ID: <87aarkmpyh.fsf@hugsarin.sparre-andersen.dk>
References: <op.vda45rsfule2fv@garhos>
	<0466e131-cc80-4db4-b080-eec9aefcb1c7@z17g2000vbd.googlegroups.com>
	<op.vda7dlc2ule2fv@garhos>
	<4bfd2d05$0$27598$ba4acef3@reader.news.orange.fr>
	<87iq69mz6u.fsf_-_@hugsarin.sparre-andersen.dk>
	<4bfebcc5$0$27571$ba4acef3@reader.news.orange.fr>
	<op.vddpcjt0xmjfy8@garhos>
NNTP-Posting-Host: 94.191.179.158.bredband.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: munin.nbi.dk 1275032599 22314 94.191.179.158 (28 May 2010 07:43:19
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 28 May 2010 07:43:19 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:Tw+BvzOVsOL+5LIhqUqWSkEGl/g=
Xref: g2news2.google.com comp.lang.ada:12107
Date: 2010-05-28T09:43:18+02:00
List-Id: <comp.lang.ada>

Yannick Duch�ne wrote:
> Le Thu, 27 May 2010 20:41:22 +0200, Pascal Obry <pascal@obry.net> a �crit:

>>> Is that binding available for download?  (Or is it an internal
>>> product?)
>>
>> Internal sorry.
>
> Jacob, if you have some needs in this area, feel free to ask me (could
> negotiate via e-mail if you wish).

I just happened to have considered to do what Pascal has already done.
Not as much with a specific need in mind as an interesting challenge
which might deliver a useful result to the Ada and SPARK community.

Greetings,

Jacob
-- 
"How may I be honest with you today?"