#3659 mizar-ppc: upstream update

Supplanted
closed-out-of-date
5
2013-10-02
2009-08-15
Jesse Alama
No

* New upstream release (version 7.11.02-4.125.1059)

Discussion

  • Jesse Alama

    Jesse Alama - 2009-08-15
     
  • Alexander Hansen

    Do your own package. :-)

     
  • Alexander Hansen

    • assigned_to: nobody --> jessealama
     
  • Hanspeter Niederstrasser

    • status: open --> closed-out-of-date
    • Group: Undergoing_Validation --> Supplanted
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks