From fba23832c90e80490531c82049c53b48a1796dce Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 21 Oct 2020 13:53:47 +0200 Subject: [PATCH] XMLAda change GitHub release URL (#191) The downloaded archive will be xmlada-21.0.0.zip instead of v21.0.0.zip --- index/xm/xmlada/xmlada-21.0.0.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index/xm/xmlada/xmlada-21.0.0.toml b/index/xm/xmlada/xmlada-21.0.0.toml index 138c7b38..388817e0 100644 --- a/index/xm/xmlada/xmlada-21.0.0.toml +++ b/index/xm/xmlada/xmlada-21.0.0.toml @@ -23,5 +23,5 @@ XMLADA_BUILD_MODE = ["distrib", "Debug", "Production", "profile", "coverage", "nochecks"] [origin] -url="https://github.com/AdaCore/xmlada/archive/v21.0.0.zip" +url="https://github.com/AdaCore/xmlada/archive/v21.0.0/xmlada-21.0.0.zip" hashes=['sha512:836d189061b188d0b766d559972938da59c1b950c15cda8209c4c5175fa03db0ef714270635ffed2d14e2bb3957f97625f5eef07c815606ac0191be268694d98']