Skip to content

Support for v2.7.0.1 #299

Support for v2.7.0.1

Support for v2.7.0.1 #299

Setup Agda (2.6.2.2) with access to /bin/echo

succeeded Oct 19, 2024 in 16s