Re: problem with gnat pp in gnat2013

[Daniel Miller <optikos@verizon.net>]

On Thursday, June 6, 2013 9:40:24 AM UTC-5, Pascal Obry wrote:
> Le 06/06/2013 15:21, Leo Brewin a écrit :
> 
> > the command
> 
> > 
> 
> >    gnat pp foo
> 
> > 
> 
> > produced
> 
> > 
> 
> >    gnatpp: installation problem - check gnatpp and GNAT versions
> 
> >    gnatpp: Exception name: PROGRAM_ERROR
> 
> >    Message: Inconsistent versions of GNAT and ASIS
> 
> 
> 
> You probably have downloaded the packages *before* it was officially
> 
> announced.
> 
> 
> 
> Pascal.
> 
> 
> 
> -- 
> 
>   Pascal Obry /  Magny Les Hameaux (78)
> 
> 
> 
>   The best way to travel is by means of imagination
> 
> 
> 
>   http://v2p.fr.eu.org
> 
>   http://www.obry.net
> 
> 
> 
>   gpg --keyserver keys.gnupg.net --recv-key F949BD3B

http://libre.adacore.com/tools/gnat-gpl-edition

Well, perhaps GNAT GPL 2013 has been "officially announced" but the web-page linked above still is touting the 2012 edition instead.  So I guess there is "officially announced" and "completely announced", where the "completely" variant occurs later than the "officially" variant.  :-)