[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: qoth 2012 q1/q2, preliminary
From: |
Svante Signell |
Subject: |
Re: qoth 2012 q1/q2, preliminary |
Date: |
Tue, 18 Sep 2012 05:28:08 +0200 |
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)