Build tree for "agda-stdlib" on toolchain "vanilla"