Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#48468 closed update (fixed)

wxMaxima: update to 15.04.0

Reported by: Ionic (Mihai Moldovan) Owned by: mkae (Marko Käning)
Priority: Normal Milestone:
Component: ports Version:
Keywords: haspatch Cc:
Port: wxMaxima

Description

wxMaxima hasn't been updated in a while. The current version is 15.04.0.

Patch attached.

Attachments (1)

wxmaxima-update.diff (5.1 KB) - added by Ionic (Mihai Moldovan) 9 years ago.
Update wxMaxima to 15.04.0 and refresh patches.

Download all attachments as: .zip

Change History (4)

Changed 9 years ago by Ionic (Mihai Moldovan)

Attachment: wxmaxima-update.diff added

Update wxMaxima to 15.04.0 and refresh patches.

comment:1 Changed 9 years ago by mkae (Marko Käning)

Resolution: fixed
Status: newclosed

Committed in r139181.

Thanks for submitting the patches! :)

comment:2 Changed 9 years ago by Ionic (Mihai Moldovan)

Thanks. Cleanup in r139182.

comment:3 Changed 9 years ago by mkae (Marko Käning)

Thanks!

That had slipped through somehow....

Note: See TracTickets for help on using tickets.