Re: or1k port is dead [Was: Re: Last part of the proposed changes to debian-faq]
Hi,
Holger Wansing <linux@wansing-online.de> wrote:
> [ Adding debian-www to the loop ]
>
>
> Hi,
>
> Justin B Rye <justin.byam.rye@gmail.com> wrote:
> > I vaguely remembered hearing about or1k, but it isn't (for instance)
> > on "https://wiki.debian.org/Glossary" so I went looking it up on
> > "https://wiki.debian.org/OpenRISC", where I read:
> >
> > * 2016-02-11: openrisc.debian.net shut down, project officially
> > declared dead due to copyright issues.
> >
> > (The blog link doesn't explain in detail what issues these are; it
> > just links to a post on a mailinglist that isn't there any longer.)
> >
> > So I suppose "https://www.debian.org/ports/" needs an update.
>
> Thus I will set or1k to dead at the webpage.
Done.
Holger
--
============================================================
Created with Sylpheed 3.5.0 under
D E B I A N L I N U X 8 . 0 " J E S S I E " .
Registered Linux User #311290 - https://linuxcounter.net/
============================================================
Reply to: