Skip to content

Support for v2.7.0.1 #300

Support for v2.7.0.1

Support for v2.7.0.1 #300

Setup Agda (2.6.2.1) on ubuntu-22.04

succeeded Oct 19, 2024 in 2m 12s