pyrox.dev
Merge pull request #109388 from jumper149/master
idris2: 0.2.2 -> 0.3.0
authored by Jörg Thalheim and committed by GitHub 4d3e71cc cbadccb0
+2
-2
pkgs/development/compilers/idris2/default.nix
+2
-2
pkgs/development/compilers/idris2/default.nix
···
5
# Uses scheme to bootstrap the build of idris2
6
stdenv.mkDerivation rec {
7
pname = "idris2";
8
-
version = "0.2.2";
9
10
src = fetchFromGitHub {
11
owner = "idris-lang";
12
repo = "Idris2";
13
rev = "v${version}";
14
-
sha256 = "18m483vccijfh9z6x4zgi37fql3q765x3ypkwixv3rwq9nxnd6hm";
15
};
16
17
strictDeps = true;
···
5
# Uses scheme to bootstrap the build of idris2
6
stdenv.mkDerivation rec {
7
pname = "idris2";
8
+
version = "0.3.0";
9
10
src = fetchFromGitHub {
11
owner = "idris-lang";
12
repo = "Idris2";
13
rev = "v${version}";
14
+
sha256 = "0sa2lpb7n6xqfknwld9rzm4bnb6qcd0ja1n63cnc5v8wdzr8q7kh";
15
};
16
17
strictDeps = true;