From: nma@12000.org   
      
   I can't install open-axiom on ubuntu or Manajaro.   
      
   I also posted about this here   
      
   https://forum.manjaro.org/t/aur-package-open-axiom-1-4-2-5-compi   
   e-error-using-pamac/103928   
      
   I was once thinking of adding it to CAS integration tests.   
      
   But it seems this software is no longer being maintained.   
      
   Any one knows for sure what its status is?   
      
   Its main page http://www.open-axiom.org/download.html   
   says that last release was on April 2013.   
      
   Too bad that some software goes dead like this (if it is).   
   Imagine all the long time and hard effort that went into it.   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)