From 050a09a763ec25bafd90dfd7d7c08f971c4a2e3b Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 10 Dec 2020 13:52:50 +0100
Subject: [ci] update url of autosubst

---
 dev/ci/ci-basic-overlay.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev/ci/ci-basic-overlay.sh')

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 98c5d98240..be819616e2 100755
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -78,7 +78,7 @@ project stdpp "https://gitlab.mpi-sws.org/iris/stdpp" ""
 
 project iris "https://gitlab.mpi-sws.org/iris/iris" ""
 
-project autosubst "https://github.com/RalfJung/autosubst" "coq86-devel"
+project autosubst "https://github.com/coq-community/autosubst" "master"
 
 project iris_string_ident "https://gitlab.mpi-sws.org/iris/string-ident" "master"
 
-- 
cgit v1.2.3