From: Patrick <patrick@spellingbeewinnars.org>
Subject: Debian Family, GNAT version map
Date: Tue, 14 Aug 2012 00:17:47 -0700 (PDT)
Date: 2012-08-14T00:17:47-07:00 [thread overview]
Message-ID: <109c5cee-48ba-442e-b53f-cfd37995cc2d@googlegroups.com> (raw)
I am running xubuntu(I am a gnome 3 refugee ). I just encountered this bug:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=564232
I just installed debian as a VM and it is already fixed there.
There are so many versions of linux and even so many debian variations. I am wondering if anyone has tried to document the different versions?
I could try to put together some sort of list?
gnatmake --version does not give the specific build, is there a flag for this?
next reply other threads:[~2012-08-17 21:06 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-14 7:17 Patrick [this message]
2012-08-14 7:36 ` Debian Family, GNAT version map Vasiliy Molostov
2012-08-19 12:07 ` Ludovic Brenta
2012-08-19 15:05 ` Patrick
2012-08-19 15:49 ` Ludovic Brenta
2012-08-19 16:16 ` Patrick
2012-08-19 20:39 ` Ludovic Brenta
2012-08-20 7:34 ` Dmitry A. Kazakov
2012-08-20 8:17 ` tonyg
2012-08-20 9:39 ` Ludovic Brenta
2012-08-20 10:23 ` Dmitry A. Kazakov
2012-08-20 11:09 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox