diff options
| author | Enrico Tassi | 2020-12-10 13:52:50 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2020-12-10 13:54:22 +0100 |
| commit | 050a09a763ec25bafd90dfd7d7c08f971c4a2e3b (patch) | |
| tree | f68c879b9d8b3649559716a9e3d5d08e3491874a /dev | |
| parent | 28d2f8d8253fca79d6be6f0d39335f3b558ca71a (diff) | |
[ci] update url of autosubst
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/ci/ci-basic-overlay.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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" |