wxMaxima version: 19.05.3

Release date: May 11, 2019