Update -
We will be undergoing scheduled maintenance during this time.
Apr 26, 2024 - 17:19 CEST
Scheduled -
On April 29 starting at 18:00 CEST, we will update Agda PS. All parts of Agda PS may be offline during the update that may last up to 8 hours. We will inform here when the update is completed.
Apr 26, 2024 - 10:49 CEST