Date: Thursday, March 31, 2022 @ 15:01:45 Author: arojas Revision: 441036
extra2community: Moving wxmaxima from extra to community Deleted: wxmaxima/
Date: Thursday, March 31, 2022 @ 15:01:45 Author: arojas Revision: 441036
extra2community: Moving wxmaxima from extra to community Deleted: wxmaxima/