From 6df2068c5f98fa0c4aa4fc67273ec9378a2ba0fc Mon Sep 17 00:00:00 2001
From: Antonio Nikishaev
Date: Wed, 29 Apr 2020 00:51:29 +0400
Subject: CI: ext-lib is at coq-community now

---
 dev/ci/nix/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/nix')

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index c8ea59f08a..b3ced999f6 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -22,7 +22,7 @@ let ssreflect = coqPackages.ssreflect.overrideAttrs (o: {
   }); in
 
 let coq-ext-lib = coqPackages.coq-ext-lib.overrideAttrs (o: {
-    src = fetchTarball "https://github.com/coq-ext-lib/coq-ext-lib/tarball/master";
+    src = fetchTarball "https://github.com/coq-community/coq-ext-lib/tarball/master";
   }); in
 
 let simple-io =
-- 
cgit v1.2.3