Builds for agda-stdlib

Latest: 2.1-4