diff options
| -rwxr-xr-x | etc/utils/packager | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/utils/packager b/etc/utils/packager index da7bddd..220a31a 100755 --- a/etc/utils/packager +++ b/etc/utils/packager @@ -36,7 +36,7 @@ fi # verify whether $TAG exists git rev-parse --verify $TAG -ARCHIVEURL="http://github.com/math-comp/math-comp/archive/$TAG.tar.gz" +ARCHIVEURL="https://github.com/math-comp/math-comp/archive/$TAG.tar.gz" GITROOT=$(git rev-parse --show-toplevel) # we build the url file content and the list of packages, and where to put them |