Unverified Commit 4f4a4eae authored by Erlend Hamberg's avatar Erlend Hamberg
Browse files

idris2: 0.5.1 -> 0.6.0

parent 38164d16

pkgs/development/compilers/idris2/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -23,13 +23,13 @@ let 
# Uses scheme to bootstrap the build of idris2

in stdenv.mkDerivation rec {

  pname = "idris2";

  version = "0.5.1";

  version = "0.6.0";



  src = fetchFromGitHub {

    owner = "idris-lang";

    repo = "Idris2";

    rev = "v${version}";

    sha256 = "sha256-6CTn8o5geWSesXO7vTrrV/2EOQ3f+nPQ2M5cem13ZSY=";

    sha256 = "sha256-80MAGM1IEtI09h5aCYfDL4PRrjGq2gT8OUEibOVk8H4=";

  };



  strictDeps = true;