[patch] wxmaxima - update to 19.05.3
wxmaxima.diff (text/plain), 910 bytes, created by Lorenzo Salvadore on 2019-05-16 22:03:12 UTC
(hide)
 
Creator: Lorenzo Salvadore
Created: 2019-05-16 22:03:12 UTC
Size: 910 bytes

Flags:

salvadore: maintainer-approval+
Actions: View | Diff
Attachments on bug 237931: 204408 | 204466