Re: qoth 2012 q1/q2, preliminary

[Svante Signell]

Arne,

On Mon, 2012-09-17 at 23:29 +0200, Arne Babenhauserheide wrote:
> Hi,
> 
> I finally got around to drafting a qoth the week before last week.
> 

> * Svante Signell [added](http://lists.gnu.org/archive/html/bug-
> hurd/2012-03/msg00060.html) the basics of ADA support by making gnat build. 
> This gives us the option to use provable programs optimized for embedded 
> systems with the Hurd.

I would rather write:
Svante Signell [added]
(http://lists.gnu.org/archive/html/bug-hurd/2012-03/msg00060.html)
cross-compiled, bootstrapped and ported GNU Ada: GNAT to Hurd.
Ada is a language used in many mission-critical applications, such as
automotive and aerospace, due to its nice features,
(can be omitted if too long->) such as strong typing,
modularity,run-time checking, parallel processing, exception handling,
generics, as well as object-oriented programming.

This statement I'm not sure about:
This gives us the option to use provable programs optimized for embedded
systems with the Hurd.

Maybe you can also mention:
Svante Signell continued to port a number of Debian packages to
GNU/Hurd, one important package being ifupdown (, see #296115 (#672212):
can be omitted) (and ifupdown build depends on noweb, the literal
programming language, which depends on icon, mentioned below)