anchor.diff:    '';
   
     meta = with lib; {
  -    # Remove if a version compatible with agda 2.6.2 is made
  -    broken = true;
       homepage = "https://github.com/ryanorendorff/functional-linear-algebra";
       description = ''
         Formalizing linear algebra in Agda by representing matrices as functions
  
positive.code: { fetchFromGitHub, lib, mkDerivation, standard-library }:
  
  mkDerivation rec {
    version = "0.3";
    pname = "functional-linear-algebra";
  
    buildInputs = [ standard-library ];
  
negative.code:     repo = "functional-linear-algebra";
      owner = "ryanorendorff";
      rev = "v${version}";
      sha256 = "05jk3792k9xf8iiwzm2hwlvd25f2pqqr3gppmqjf8xb9199i8fk0";
    };
  
    preConfigure = ''
  