Merge pull request #147061 from iblech/patch-agda-stdlib1.7.1
agdaPackages.standard-library: 1.7 -> 1.7.1
commit9f377daa41aee71bd696a4d4ad149952fc8049c1
authorManuel Bärenz <programming@manuelbaerenz.de>
dateMon 13 Dec 2021, 11:08 (5 years ago)
parent9a7f7f995d62a6
pkgs/development/libraries/agda/agda-categories/default.nix+7
@@ -11,6 +11,13 @@ mkDerivation rec {
1111 sha256 = "1acb693ad2nrmnn6jxsyrlkc0di3kk2ksj2w9wnyfxrgvfsil7rn";
1212 };
1313
14+ # Remove this once new version of agda-categories is released which
15+ # directly references standard-library-1.7.1
16+ postPatch = ''
17+ substituteInPlace agda-categories.agda-lib \
18+ --replace 'standard-library-1.7' 'standard-library-1.7.1'
19+ '';
20+
1421 buildInputs = [ standard-library ];
1522
1623 meta = with lib; {
pkgs/development/libraries/agda/standard-library/default.nix+2−2
@@ -2,13 +2,13 @@
22
33mkDerivation rec {
44 pname = "standard-library";
5− version = "1.7";
5+ version = "1.7.1";
66
77 src = fetchFromGitHub {
88 repo = "agda-stdlib";
99 owner = "agda";
1010 rev = "v${version}";
11− sha256 = "14h3jprm6924g9576v25axn9v6xnip354hvpzlcqsc5qqyj7zzjs";
11+ sha256 = "0khl12jvknsvjsq3l5cbp2b5qlw983qbymi1dcgfz9z0b92si3r0";
1212 };
1313
1414 nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];