diff options
Diffstat (limited to 'doc/languages-frameworks/agda.section.md')
| -rw-r--r-- | doc/languages-frameworks/agda.section.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index 775a7a1a642..d9ed56fb83f 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -52,7 +52,7 @@ agda.withPackages (p: [ repo = "agda-stdlib"; owner = "agda"; rev = "v1.5"; - sha256 = "16fcb7ssj6kj687a042afaa2gq48rc8abihpm14k684ncihb2k4w"; + hash = "sha256-nEyxYGSWIDNJqBfGpRDLiOAnlHJKEKAOMnIaqfVZzJk="; }; })) ]) @@ -83,7 +83,7 @@ agda.withPackages (p: [ owner = "owner"; version = "..."; rev = "..."; - sha256 = "..."; + hash = "..."; }; }) ]) |