GNATcoll db change GitHub release URL (#195)

This commit is contained in:
Fabien Chouteau
2020-10-21 16:01:39 +02:00
committed by GitHub
parent aec6dc3b60
commit 6c0fe66fe7
4 changed files with 4 additions and 4 deletions
@@ -17,5 +17,5 @@ LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
gnatcoll = "~21.0.0"
[origin]
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0.zip"
url="https://github.com/AdaCore/gnatcoll-db/archive/v21.0.0/gnatcoll-db-21.0.0.zip"
hashes=['sha512:d9ce18f37a7d20a1489d4fd840f93d673e6b75e33eb120dd74b0ae0061c947c3ec2538840fa3db5ff49a49892648332ede206968facc56d87a600afbf753f6f2']