View Single Post
  #9   (View Single Post)  
Old 31st October 2017
hanzer's Avatar
hanzer hanzer is offline
Real Name: Adam Jensen
just passing through
 
Join Date: Oct 2013
Location: EST USA
Posts: 314
Default

Quote:
Originally Posted by hanzer View Post
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.

Last edited by hanzer; 31st October 2017 at 10:34 PM. Reason: to see if I could
Reply With Quote