This repository was archived by the owner on Apr 26, 2026. It is now read-only.

[ v0.1.31 ] Fixed bug when using envvar AGDA_DIR