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)
