From: Simon Wright <simon@pushface.org>
Subject: Re: Unikernel / Ada
Date: Wed, 01 Mar 2017 22:12:36 +0000
Date: 2017-03-01T22:12:36+00:00 [thread overview]
Message-ID: <lymvd43auj.fsf@pushface.org> (raw)
In-Reply-To: o97eun$d6$1@dont-email.me
Adrian-Ken Rueegsegger <ken@codelabs.ch> writes:
> https://github.com/AdaCore/spark2014/tree/master/testsuite/gnatprove/tests/ipstack
The copyright/licensing status is odd; the README says (C) 2010,
AdaCore, but all the source says (C) 2010-2014, Free Software Foundation.
There's no visible license statement.
next prev parent reply other threads:[~2017-03-01 22:12 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-03-01 18:52 Unikernel / Ada volkert
2017-03-01 21:20 ` Randy Brukardt
2017-03-01 21:58 ` Niklas Holsti
2017-03-01 22:18 ` Simon Wright
2017-03-04 12:15 ` Volkert
2017-03-01 21:39 ` Adrian-Ken Rueegsegger
2017-03-01 21:51 ` Dmitry A. Kazakov
2017-03-01 22:12 ` Simon Wright [this message]
2017-03-04 9:09 ` Volkert
2017-03-01 21:56 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox