diff --git a/index/as/asis.toml b/index/as/asis.toml index f5aed58a..6cb2be51 100644 --- a/index/as/asis.toml +++ b/index/as/asis.toml @@ -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" diff --git a/index/gn/gnatcoll.toml b/index/gn/gnatcoll.toml index 226ccb28..e6ff3bbd 100644 --- a/index/gn/gnatcoll.toml +++ b/index/gn/gnatcoll.toml @@ -25,11 +25,12 @@ maintainers-logins = ["pmderodat"] windows = { GNATCOLL_OS = "windows" } [2018] -origin = "http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99" +origin = """https://community.download.adacore.com/v1/\ + 213105933eb2deb4d08f6b5beab518ad6c70fbac?filename=""" archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz" origin-hashes = ["""\ - sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90\ - a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac\ + sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a970\ + 6690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac\ """] project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]