Linux Archive

Linux Archive (http://www.linux-archive.org/)
-   Debian GCC (http://www.linux-archive.org/debian-gcc/)
-   -   Bug#685562: marked as done (gnat-4.6: Add -lrt flag to link libgnarl-4.6.so.1) (http://www.linux-archive.org/debian-gcc/696517-bug-685562-marked-done-gnat-4-6-add-lrt-flag-link-libgnarl-4-6-so-1-a.html)

08-22-2012 12:24 AM

Bug#685562: marked as done (gnat-4.6: Add -lrt flag to link libgnarl-4.6.so.1)
 
Your message dated Wed, 22 Aug 2012 00:17:43 +0000
with message-id <E1T3ydj-00051q-3B@franck.debian.org>
and subject line Bug#685562: fixed in gnat-4.6 4.6.3-6
has caused the Debian Bug report #685562,
regarding gnat-4.6: Add -lrt flag to link libgnarl-4.6.so.1
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


--
685562: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=685562
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

10-12-2012 10:36 AM

Bug#685562: marked as done (gnat-4.6: Add -lrt flag to link libgnarl-4.6.so.1)
 
Your message dated Fri, 12 Oct 2012 10:33:06 +0000
with message-id <E1TMcYE-0006MB-ES@franck.debian.org>
and subject line Bug#685562: fixed in gcc-4.6 4.6.3-12
has caused the Debian Bug report #685562,
regarding gnat-4.6: Add -lrt flag to link libgnarl-4.6.so.1
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


--
685562: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=685562
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems


All times are GMT. The time now is 12:28 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.