gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

idris2: 0.5.0 -> 0.5.1

Browse Source
This commit is contained in:
R. RyanTM
2021-09-23 00:16:08 +00:00
parent 8ef88fb10b
commit 896ee5ffc6
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/idris2/default.nix
View File

@@ -13,13 +13,13 @@
# Uses scheme to bootstrap the build of idris2
stdenv.mkDerivation rec {
pname = "idris2";
version = "0.5.0";
version = "0.5.1";
src = fetchFromGitHub {
owner = "idris-lang";
repo = "Idris2";
rev = "v${version}";
sha256 = "sha256-JRI5/dEy9GT8SIj3X+UcJ0SiTQ20pqevWeTNX6e+Nfw=";
sha256 = "sha256-6CTn8o5geWSesXO7vTrrV/2EOQ3f+nPQ2M5cem13ZSY=";
};
# We do not add any propagatedNativeBuildInputs because we do not want the