mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 19:51:17 +00:00
Code Issues Wiki Activity

Merge pull request #138506 from r-ryantm/auto-update/idris2

Browse source 
idris2: 0.4.0 -> 0.5.0
This commit is contained in:
figsoda 2021-09-19 14:48:50 -04:00 committed by GitHub
parent 13cbae0340 948ef8a6c5
commit 0428e50fc7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats 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 # Uses scheme to bootstrap the build of idris2
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "idris2"; pname = "idris2";
version = "0.4.0"; version = "0.5.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "idris-lang"; owner = "idris-lang";
repo = "Idris2"; repo = "Idris2";
rev = "v${version}"; rev = "v${version}";
sha256 = "105jybjf5s0k6003qzfxchzsfcpsxip180bh3mdmi74d464d0h8g"; sha256 = "sha256-JRI5/dEy9GT8SIj3X+UcJ0SiTQ20pqevWeTNX6e+Nfw=";
}; };
# We do not add any propagatedNativeBuildInputs because we do not want the # We do not add any propagatedNativeBuildInputs because we do not want the