From a3a57d258478ada7316cff18d77eda52fb54bed8 Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <alejandro@mosteo.com>
Date: Fri, 26 Jun 2020 14:24:04 +0200
Subject: [PATCH] Update GNATCOLL Debian/Ubuntu system packages (#131)

* Update Debian/Ubuntu system packages

* Fixed gnatcoll 2019 dependency on GNAT

Depending on non CE GNAT is faultly because libgpr is not available in that
case.
---
 index/gn/gnatcoll.toml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/index/gn/gnatcoll.toml b/index/gn/gnatcoll.toml
index e6ff3bbd..7faffad9 100644
--- a/index/gn/gnatcoll.toml
+++ b/index/gn/gnatcoll.toml
@@ -48,8 +48,12 @@ origin-hashes = ["""\
 project-files = ["gnatcoll.gpr"]
 
     [2019.depends-on]
-    gnat = "^2019 | (>=9.0 & <2000)"
+    gnat = "^2019"
 
 [[external]]
 kind = "system"
-origin = ["libgnatcoll16.1.0-dev"]
+origin.'case(distribution)'.'debian|ubuntu' = [
+    "libgnatcoll16.1.0-dev",
+    "libgnatcoll17-dev",
+    "libgnatcoll18-dev"
+]