Subject: Re: [bug#33976] [PATCH] gnu: Add dev86.

From: Danny Milosavljevic <[email-masked]>
Date: Wed, 9 Jan 2019 19:34:10 +0100

> It’d be nice to add a few words about what’s special about this
> toolchain (not obvious from their README…).

It's primarily 16-bit.  I package it because of xen which uses it to compile
old-school BIOSes.

It was quite popular in 1990 and used even by the Linux kernel.

Nowadays, few projects still use it. 

I pushed it as 1bde3d2cbf311f6d6c733339a000b7395cb2f945.

Please amend description if necessary.