alire/alire-index-community
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix obsolete AdaCore CDN links (#108)

Browse Source
This commit is contained in:
Alejandro R Mosteo
2020-04-24 10:38:55 +02:00
committed by GitHub
parent b63a28b415
commit 5976d7a24d
2 changed files with 16 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
index/as/asis.toml
+12 -4
View File
@@ -14,18 +14,26 @@ project-files = ["asis.gpr"]
[general.depends-on]
make = "any"
[2019]
origin = "https://community.download.adacore.com/v1/52c69e7295dc301ce670334f8150193ecbec580d?filename="
archive-name = "asis-2019-20190517-18AB5-src.tar.gz"
origin-hashes= ["sha512:3ca32fa2eeee10ef2d0e6eb8ab555c3e31b417bdab6749fdd8bd264efa2c93a388a5731c40705782a3a28f16e0c385af195f69d95020e265b2230ead1c91977f"]
[2019.depends-on]
gnat = "=2019"
[2018]
origin = "http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8"
origin = "https://community.download.adacore.com/v1/c338044768412af787c8cff13c0d952ed688df11?filename="
archive-name = "asis-gpl-2018-20180524-src.tar.gz"
origin-hashes= ["sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"]
[2018.depends-on]
gnat = "^2018"
gnat = "=2018"
[2017]
origin = "http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb"
origin = "https://community.download.adacore.com/v1/369101e6b0d9e777b9bcae821ddb68567138a95f?filename="
archive-name = "asis-gpl-2017-src.tar.gz"
origin-hashes = ["sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"]
[2017.depends-on]
gnat = "^2017"
gnat = "=2017"