Fwd: Deciding new arm EABI port name

To: debian-arm@lists.debian.org
Subject: Fwd: Deciding new arm EABI port name
From: "Martin Guy" <martinwguy@gmail.com>
Date: Thu, 30 Mar 2006 12:47:40 +0100
Message-id: <56d259a00603300347w1bb6ef2t73feb0841a67ed7@mail.gmail.com>
In-reply-to: <56d259a00603300337v268295a9t82050955022a15a2@mail.gmail.com>
References: <20060330004040.GA8272@zulo.hadrons.org> <56d259a00603300114s5f4b543bie6ed7d3b001cfdb2@mail.gmail.com> <20060330113531.GP6576@country.grep.be> <56d259a00603300337v268295a9t82050955022a15a2@mail.gmail.com>

> > variants (there is a list at popcorn.debian.org) and to future-proof
>                                     ^
> There's movies there, too? ;-)

Oh, bum!  I mean popcon.debian.org

    M

Reply to:

References:
- Deciding new arm EABI port name
  - From: Guillem Jover <guillem@debian.org>
- Re: Deciding new arm EABI port name
  - From: "Martin Guy" <martinwguy@gmail.com>
- Re: Deciding new arm EABI port name
  - From: Wouter Verhelst <wouter@debian.org>

Prev by Date: Re: Deciding new arm EABI port name
Next by Date: Re: Deciding new arm EABI port name
Previous by thread: Re: Deciding new arm EABI port name
Next by thread: Re: Deciding new arm EABI port name
Index(es):
- Date
- Thread