diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-27 22:37:40 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-10-27 22:37:40 +0200 |
commit | 74dc3c610fcd1f4bfb182ba3dc6428f308d0c91f (patch) | |
tree | 4d4f44fb9bf375ccb924817e682d375e8a135c45 /dev/ci/ci-basic-overlay.sh | |
parent | ad973248998da8d7d10ed00f4bcd6f383ba9a171 (diff) |
[ci] Switch back to upstream version of Math-Classes and Corn.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
-rw-r--r-- | dev/ci/ci-basic-overlay.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 9be882bb3..5c37b3133 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -28,11 +28,11 @@ ######################################################################## # Mathclasses + Corn ######################################################################## -: ${math_classes_CI_BRANCH:=external-bignums} -: ${math_classes_CI_GITURL:=https://github.com/letouzey/math-classes.git} +: ${math_classes_CI_BRANCH:=master} +: ${math_classes_CI_GITURL:=https://github.com/math-classes/math-classes.git} -: ${Corn_CI_BRANCH:=external-bignums} -: ${Corn_CI_GITURL:=https://github.com/letouzey/corn.git} +: ${Corn_CI_BRANCH:=master} +: ${Corn_CI_GITURL:=https://github.com/c-corn/corn.git} ######################################################################## # Iris |