Quote:
Originally Posted by hanzer
It might be a complicated set of ports that is difficult to maintain but I would like to see a first-class Ada development and deployment environment on OpenBSD; including a complete SPARK environment, of course. [snip]
|
Bizarrely, the SPARK link (^above^) temporarily points to the Adacore blog website. I contacted Adacore and they are fixing it. A slightly embarrassing and not at all uncommon example of a basic operational failure. I guess it takes a special kind of people to create and maintain
high reliability products.