From 9e8c0e3504ca23072d3beebd9e26dbab9f2641ec Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 21 Oct 2020 14:49:59 +0200 Subject: [PATCH] gnatcoll change GitHub release URL (#193) --- index/gn/gnatcoll/gnatcoll-21.0.0.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index/gn/gnatcoll/gnatcoll-21.0.0.toml b/index/gn/gnatcoll/gnatcoll-21.0.0.toml index fc852294..bd172f34 100644 --- a/index/gn/gnatcoll/gnatcoll-21.0.0.toml +++ b/index/gn/gnatcoll/gnatcoll-21.0.0.toml @@ -30,5 +30,5 @@ GNATCOLL_VERSION = "21.0.0" libgpr = "~21.0.0" [origin] -url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0.zip" +url= "https://github.com/AdaCore/gnatcoll-core/archive/v21.0.0/gnatcoll-core-21.0.0.zip" hashes=['sha512:6c0439a39495070c58af1eecd04b450d3f7fae8dfca21ce2200035893467c07b04ec037aeef84b5b1499fe683b9cadeb5425e7373b9d6204d1ed1deb5616d291']