From 50900f71b98aec2ab3587cbec906d23bfdb56ed0 Mon Sep 17 00:00:00 2001
From: Albert Chae <albertchae@users.noreply.github.com>
Date: Mon, 29 Apr 2024 06:11:55 -0700
Subject: [PATCH] Handle hash mismatch for ieee754fpu

---
 pkgs/by-name/libresoc/ieee754fpu.nix | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/pkgs/by-name/libresoc/ieee754fpu.nix b/pkgs/by-name/libresoc/ieee754fpu.nix
index 0027df033..59d39f3e9 100644
--- a/pkgs/by-name/libresoc/ieee754fpu.nix
+++ b/pkgs/by-name/libresoc/ieee754fpu.nix
@@ -1,6 +1,6 @@
 {
   python39Packages,
-  fetchFromGitHub,
+  fetchgit,
   symbiyosys,
   nmutil,
   nmigen,
@@ -12,9 +12,11 @@ with python39Packages;
     version = "unstable-2024-03-31";
 
     # mirror of https://git.libre-soc.org/git/ieee754fpu.git
-    src = fetchFromGitHub {
-      owner = "Libre-SOC-mirrors";
-      repo = "ieee754fpu";
+    # use fetchgit instead of fetchFromGitHub so we can use the same hash across original
+    # upstream repo and GitHub mirror. For some reason with fetchFromGitHub, even with the
+    # the same rev we are getting a different hash (unlike every other mirrored repo)
+    src = fetchgit {
+      url = "https://github.com/Libre-SOC-mirrors/ieee754fpu.git";
       rev = "829dfbc53ba38ec17bc544cb0b862e73cee223db"; # HEAD @ version date
       hash = "sha256-Ghbvg2Y4YlmxVEa3EtcvEVai4hC4VU4q+XIQh4pQ7+c=";
     };