I didn't really know where to put this question: Does ARGoS support Ubuntu 20.04? I saw that it isn't in the list of binary packages (https://www.argos-sim.info/core.php). Does that mean it isn't supported? If it isn't, are there any plans to support it?
Thank you in advance!