Re: [MacPorts] #42720: Port Request: Mathics