diff options
Diffstat (limited to 'pkgs/development/libraries/agda/bitvector/default.nix')
-rw-r--r-- | pkgs/development/libraries/agda/bitvector/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/bitvector/default.nix b/pkgs/development/libraries/agda/bitvector/default.nix index 290a2f1206d1e..3f2c92e80ad4c 100644 --- a/pkgs/development/libraries/agda/bitvector/default.nix +++ b/pkgs/development/libraries/agda/bitvector/default.nix @@ -7,7 +7,7 @@ agda.mkDerivation (self: rec { src = fetchgit { url = "https://github.com/copumpkin/bitvector.git"; rev = version; - sha256 = "c39f55b709366f2c627d1a3a68d4b013c415b0e0f68ca6b69e387d07e2ce6d9a"; + sha256 = "0jb421lxvyxz26sxa81qjmn1gfcxfh0fmbq128f0kslqhiiaqfrh"; }; buildDepends = [ AgdaStdlib ]; |