Unverified Commit 2d2ecc09 authored by Naïm Camille Favier's avatar Naïm Camille Favier Committed by GitHub
Browse files

agdaPackages.agda-categories: fix hash mismatch error (#471235)

parents a317f674 e1b367f0

pkgs/development/libraries/agda/agda-categories/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ mkDerivation rec { 
    owner = "agda";

    repo = "agda-categories";

    rev = "v${version}";

    sha256 = "sha256-zPh6RFnky4KsnQx5Y/3FeYZ/jWK+hqJGNyCjEFPPHWQ=";

    sha256 = "sha256-/3e8CkaTr0bUBgzhjAvu2RV6y0gk77VRA4PE6vutKPc=";

  };



  postPatch = ''