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/ci-basic-overlay.sh | 2 +-
 dev/ci/nix/default.nix     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index c18e556da8..6e7fbc41dc 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -242,7 +242,7 @@
 # ext-lib
 ########################################################################
 : "${ext_lib_CI_REF:=master}"
-: "${ext_lib_CI_GITURL:=https://github.com/coq-ext-lib/coq-ext-lib}"
+: "${ext_lib_CI_GITURL:=https://github.com/coq-community/coq-ext-lib}"
 : "${ext_lib_CI_ARCHIVEURL:=${ext_lib_CI_GITURL}/archive}"
 
 ########################################################################
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