Does not build anymore with standard library 1.5

[turion]

Standard library was released at version 1.5 agda/agda-stdlib#1386 🎉

This package doesn't build anymore with the up to date standard library:

     Checking FLA.Algebra.LinearAlgebra.Properties (/build/source/src/FLA/Algebra/LinearAlgebra/Properties.agda).
      Checking FLA.Data.Vec.Properties (/build/source/src/FLA/Data/Vec/Properties.agda).
  /build/source/src/FLA/Algebra/LinearAlgebra/Properties.agda:53,32-49
  Ambiguous name zipWith-replicate. It could refer to any one of
    Data.Vec.Properties.zipWith-replicate bound at
      /nix/store/dc087m2w1bmjjhv13m3r6zg8drmxivg7-standard-library-1.5/src/Data/Vec/Properties.agda:698,1-18
    FLA.Data.Vec.Properties.zipWith-replicate bound at
      /build/source/src/FLA/Data/Vec/Properties.agda:128,1-18
  (hint: Use C-c C-w (in Emacs) if you want to know why)
  when scope checking zipWith-replicate

Found via NixOS/nixpkgs#110830

[ryanorendorff]

The v0.2 tag should work now. How do you want me to update it in nixpkgs?

[turion]

Thanks, see NixOS/nixpkgs#110830 (comment)