From 290b16bfe525fd80b7ad83c2027f1a26e64cb76e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@inria.fr>
Date: Mon, 18 Oct 2021 12:00:54 +0200
Subject: [PATCH] coqPackages.zorns-lemma: fix build of versions pre-9.0

The source was fetched from the wrong location and thus did not match the provided sha.
---
 pkgs/development/coq-modules/zorns-lemma/default.nix | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/coq-modules/zorns-lemma/default.nix b/pkgs/development/coq-modules/zorns-lemma/default.nix
index cf3e9ca15db..b003e15891d 100644
--- a/pkgs/development/coq-modules/zorns-lemma/default.nix
+++ b/pkgs/development/coq-modules/zorns-lemma/default.nix
@@ -1,9 +1,8 @@
 { lib, mkCoqDerivation, coq, version ? null }:
 with lib;
 
-mkCoqDerivation {
+(mkCoqDerivation {
   pname = "zorns-lemma";
-  repo = "topology";
 
   releaseRev = v: "v${v}";
 
@@ -38,4 +37,4 @@ mkCoqDerivation {
     maintainers = with maintainers; [ siraben ];
     license = licenses.lgpl21Plus;
   };
-}
+}).overrideAttrs({version, ...}: if versions.isGe "9.0" version then { repo =  "topology"; } else {})