From 5a6f948a79cc37332c84e61605a8236379f61b5c Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Thu, 28 Nov 2019 08:00:42 +0100 Subject: [PATCH 1/2] gnatcoll: transfer maintainership from Alejandro to myself --- index/gn/gnatcoll.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/index/gn/gnatcoll.toml b/index/gn/gnatcoll.toml index 0d9a55a6..11e861a3 100644 --- a/index/gn/gnatcoll.toml +++ b/index/gn/gnatcoll.toml @@ -2,8 +2,8 @@ description = "GNAT Components Collection - Core packages" licenses = ["GPL 3.0"] authors = ["AdaCore"] -maintainers = ["alejandro@mosteo.com"] -maintainers-logins = ["mosteo"] +maintainers = ["derodat@adacore.com"] +maintainers-logins = ["pmderodat"] # This crate has a hidden conflict with any other gnatcoll. # Declaring conflicts was removed during index transition From 1c3865414822e927aef7d30853bf949f2a11cbe6 Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Sat, 23 Nov 2019 22:12:32 +0100 Subject: [PATCH 2/2] Register the 2019 release of gnatcoll --- index/gn/gnatcoll.toml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/index/gn/gnatcoll.toml b/index/gn/gnatcoll.toml index 11e861a3..e95ace81 100644 --- a/index/gn/gnatcoll.toml +++ b/index/gn/gnatcoll.toml @@ -33,3 +33,16 @@ project-files = ["gnatcoll-core-gpl-2018-src/gnatcoll.gpr"] [2018.available.'case(compiler)'] 'gnat-community-2018' = true '...' = false + +[2019] +origin = "https://community.download.adacore.com/v1/99ea2dc09e018deb14f15c00e8c4b7b21f94c94f?filename=" +archive-name = "gnatcoll-core-2019-20190515-24AD8-src.tar.gz" +origin-hashes = ["sha512:9b2101448b96ac46cebada1fe3cb7b583cbf296f9b7d627771e83c56c78ce72c50ede5474f64f16feba252a18fd46b473901820766902b0c68d63beaf55a884a"] +project-files = ["gnatcoll.gpr"] + + [2019.available.'case(compiler)'] + 'gnat-fsf-9-0' = true + 'gnat-fsf-9-1' = true + 'gnat-fsf-9-2-or-newer' = true + 'gnat-community-2019' = true + '...' = false