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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: fyi, GNAT and SPARK GPL 2016 are out Date: Fri, 03 Jun 2016 08:16:08 +0100 Organization: A noiseless patient Spider Message-ID: References: <60e38494-eba2-46f2-b064-929c4ead9fe1@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="fa27e9c62dd412c1b6adffaac11b940a"; logging-data="23633"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/3RXHR1t8N5UyD1K8spHdzKbTL456/9Vc=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) Cancel-Lock: sha1:XKCy7dhWT26GyrI+3CuViH5cSM0= sha1:Kgz83fB6I69/exi3eZD5bUU4gIs= Xref: news.eternal-september.org comp.lang.ada:30567 Date: 2016-06-03T08:16:08+01:00 List-Id: David Botton writes: > Did they fix the license bug in their runtimes or does it still virus > the produced executables to be GPL only? Still GPL-only.