pyrox.dev
Merge pull request #21396 from laMudri/stdlib-v0.13
AgdaStdlib: v0.12 -> v0.13
authored by Peter Simons and committed by GitHub 9e086758 397e59b4
+2
-2
pkgs/development/libraries/agda/agda-stdlib/default.nix
+2
-2
pkgs/development/libraries/agda/agda-stdlib/default.nix
···
1
{ stdenv, agda, fetchFromGitHub, ghcWithPackages }:
2
3
agda.mkDerivation (self: rec {
4
-
version = "0.12";
5
name = "agda-stdlib-${version}";
6
7
src = fetchFromGitHub {
8
repo = "agda-stdlib";
9
owner = "agda";
10
rev = "v${version}";
11
-
sha256 = "1n5hn3xa0bqyq8rjvfsfmh6z3l8rr4z3s7gyfmf3kiv9f235bnd2";
12
};
13
14
nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];
···
1
{ stdenv, agda, fetchFromGitHub, ghcWithPackages }:
2
3
agda.mkDerivation (self: rec {
4
+
version = "0.13";
5
name = "agda-stdlib-${version}";
6
7
src = fetchFromGitHub {
8
repo = "agda-stdlib";
9
owner = "agda";
10
rev = "v${version}";
11
+
sha256 = "156xbqvqjck9izz613v52ppwk8s1y0kv7xkjpcm16vys2c3bh0x5";
12
};
13
14
nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];