Unverified Commit 768e8428 authored by Naïm Favier's avatar Naïm Favier Committed by GitHub
Browse files

Merge pull request #268631 from ryanorendorff/functional-linear-algebra-0.4.1 

functional-linear-algebra: 0.4->0.4.1
parents 36c8df67 6794de08

pkgs/development/libraries/agda/functional-linear-algebra/default.nix

+2 −3
Original line number Diff line number Diff line 
{ fetchFromGitHub, lib, mkDerivation, standard-library }:



mkDerivation rec {

  version = "0.4";

  version = "0.4.1";

  pname = "functional-linear-algebra";



  buildInputs = [ standard-library ];
@@ -10,7 +10,7 @@ mkDerivation rec { 
    repo = "functional-linear-algebra";

    owner = "ryanorendorff";

    rev = "v${version}";

    sha256 = "05jk3792k9xf8iiwzm2hwlvd25f2pqqr3gppmqjf8xb9199i8fk0";

    sha256 = "GrTeMEHEXb0t2RgHWiGfvvofNYl8YYaaoCE18JrG6Q4=";

  };



  preConfigure = ''
@@ -26,6 +26,5 @@ mkDerivation rec { 
    license = licenses.bsd3;

    platforms = platforms.unix;

    maintainers = with maintainers; [ ryanorendorff ];

    broken = true;

  };

}