From 0a1bcfb97a038c07f8037c6117374ca6077db422 Mon Sep 17 00:00:00 2001 From: Kamal Saleh Date: Tue, 10 Dec 2019 16:11:01 +0100 Subject: [PATCH] fix ArchiveURL to comply with ReleaseTools documentation --- PackageInfo.g | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/PackageInfo.g b/PackageInfo.g index cfcd535..98adab8 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -43,8 +43,10 @@ PackageWWWHome := Concatenation( "https://homalg-project.github.io/", ~.PackageN README_URL := Concatenation( ~.PackageWWWHome, "/README.md" ), PackageInfoURL := Concatenation( ~.PackageWWWHome, "/PackageInfo.g" ), IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ), -ArchiveURL := Concatenation( ~.SourceRepository.URL, "/archive/", ~.Version ), -ArchiveFormats := ".tar.gz", +ArchiveURL := Concatenation( ~.SourceRepository.URL, + "/releases/download/v", ~.Version, + "/", ~.PackageName, "-", ~.Version ), +ArchiveFormats := ".tar.gz", ## Status information. Currently the following cases are recognized: ## "accepted" for successfully refereed packages