diff options
author | Martin Weinelt <hexa@darmstadt.ccc.de> | 2022-12-04 22:06:42 +0100 |
---|---|---|
committer | Martin Weinelt <hexa@darmstadt.ccc.de> | 2022-12-04 22:06:42 +0100 |
commit | fe8eef1ae448bf3631c9e5be919c8456da35a006 (patch) | |
tree | 6a17c6d6d327504716b74f247362092c35d6e1cb /doc/languages-frameworks/agda.section.md | |
parent | 21835cba160d694e75d8ce7cac56b267b36aeb3d (diff) | |
parent | c94cdd0978d707c08ffdfba54e682a8b553263e1 (diff) |
Merge remote-tracking branch 'origin/master' into staging-next
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 775a7a1a64297..d9ed56fb83fc3 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 = "..."; }; }) ]) |