[LON-CAPA-admin] Maxima versions (5.11.0, 5.12.0)

[Stefan Bisitz]

Hi,

What maxima version can I expect to be installed by LON-CAPA? Have you
changed the maxima version (which comes with LON-CAPA) during the
rollouts of LON-CAPA 2.4.0, 2.4.1 and 2.4.2?

I'm still confused about the fact that on our old server maxima 5.11.0
has been installed by LON-CAPA by the update process and, in contrast,
LON-CAPA update on the new server installed maxima 5.12.0. Even more
confusing is that another LON-CAPA update (2.4.2) on the old machine
doesn't update maxima to 5.12.0, 5.11.0 remained.

Is there something wrong?

Stefan Bisitz