[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

or1k port is dead [Was: Re: Last part of the proposed changes to debian-faq]

[ Adding debian-www to the loop ]


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.


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: