PR #59: Convert archive-hash to origin-hashes

We still need this to merge alire-project/alire#210 and then we can add the missing hashes progressively.
This commit is contained in:
Alejandro R Mosteo
2019-09-28 12:05:53 +02:00
committed by GitHub
2 changed files with 3 additions and 3 deletions
+2 -2
View File
@@ -11,7 +11,7 @@ maintainers = ["alejandro@mosteo.com"]
[2018]
origin = "http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8"
archive-name = "asis-gpl-2018-20180524-src.tar.gz"
archive-hash = "sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"
origin-hashes= ["sha512:e00750adf17df8d534f0e561d129002d8b3c9efd6ba9c8d6768840d1399933271d748bafb7358a45d0a520620a335e669a6c2770ed89660bb319b609961a433a"]
project-files = ["asis-gpl-2018-src/asis.gpr"]
[[2018.actions]]
@@ -25,7 +25,7 @@ project-files = ["asis-gpl-2018-src/asis.gpr"]
[2017]
origin = "http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb"
archive-name = "asis-gpl-2017-src.tar.gz"
archive-hash = "sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"
origin-hashes = ["sha512:dee6b8e0851a4b3181d50256697865f7a6a613eef7b59e43cb1a0b066e794d927db9f60df33f7e1af343d41801a6b66feb1f7a963523b2442c85ca506d7e112f"]
project-files = ["asis-gpl-2017-src/asis.gpr"]
[[2017.actions]]
+1 -1
View File
@@ -26,7 +26,7 @@ maintainers = ["alejandro@mosteo.com"]
[2018]
origin = "http://mirrors.cdn.adacore.com/art/5b0819dfc7a447df26c27a99"
archive-name = "gnatcoll-core-gpl-2018-20180524-src.tar.gz"
archive-hash = "sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"
origin-hashes = ["sha512:bf6082573dc537836ea8506a2c9a75dc7837440c35c5b02a52add52e38290d99e90a9706690591f8899b8b4935824b195f230b3aa1c4da10911e3caf954c04ac"]
project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"]
[2018.available.'case(compiler)']